Difference between revisions of "Dwight Guth"
From FSL
| Line 1: | Line 1: | ||
| − | Dwight | + | Dwight Guth graduated with an M.S. degree from the [[FSL]] at UIUC in May 2013. |
| − | + | His thesis is on the [http://code.google.com/p/k-python-semantics/ formal semantics of the Python programming language]. | |
| − | + | Dwight is now working for [[http://runtimeverification.com Runtime Verification, Inc.]] | |
{{Header | Publications}} | {{Header | Publications}} | ||
<pubbib authors='Dwight Guth'/> | <pubbib authors='Dwight Guth'/> | ||
Latest revision as of 22:37, 1 October 2016
Dwight Guth graduated with an M.S. degree from the FSL at UIUC in May 2013. His thesis is on the formal semantics of the Python programming language. Dwight is now working for [Runtime Verification, Inc.]
| Publications |
|---|
- IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
- Theodoros Kasampalis and Dwight Guth and Brandon Moore and Traian Serbanuta and Virgil Serbanuta and Daniele Filaretti and Grigore Rosu and Ralph Johnson
Technical Report http://hdl.handle.net/2142/100320, July 2018
PDF, IELE, DOI, BIB - KEVM: A Complete Semantics of the Ethereum Virtual Machine
- Everett Hildenbrandt and Manasvi Saxena and Xiaoran Zhu and Nishant Rodrigues and Philip Daian and Dwight Guth and Brandon Moore and Yi Zhang and Daejun Park and Andrei Stefanescu and Grigore Rosu
CSF 2018, IEEE, pp 204-217. 2018
PDF, KEVM, CSF 2018, BIB - Runtime Verification at Work: A Tutorial
- Philip Daian and Dwight Guth and Chris Hathhorn and Yilong Li and Edgar Pek and Manasvi Saxena and Traian Florin Serbanuta and Grigore Rosu
RV'16, LNCS 10012, pp 46-67. 2016
PDF, Slides(PPTX), RV Products, DOI, RV'16, BIB - RV-Match: Practical Semantics-Based Program Analysis
- Dwight Guth and Chris Hathhorn and Manasvi Saxena and Grigore Rosu
CAV'16, LNCS 9779, pp 447-453. 2016
PDF, RV-Match, DOI, CAV'16, BIB - Low-Level Program Verification using Matching Logic Reachability
- Dwight Guth and Andrei Stefanescu and Grigore Rosu
LOLA'13. 2013
PDF, Slides(PDF), Matching Logic, LOLA'13, BIB
