Difference between revisions of "Dwight Guth"

From FSL
Jump to: navigation, search
 
Line 1: Line 1:
Dwight is an M.S. student studying under Grigore, intending to graduate in May 2013, whose thesis is on the [http://code.google.com/p/k-python-semantics/ formal semantics of the Python programming language].
+
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].
:[mailto:dguth2@illinois.edu Email]
+
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:38, 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

Personal tools
Namespaces

Variants
Actions
Navigation