Login / Signup
Dwight Guth
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 4
Top Topics
Multi Tasking
Virtual Machine
Practical Application
Formal Semantics
Top Venues
CSF
CAV (1)
RV
FM
</>
Publications
</>
Theodoros Kasampalis
,
Dwight Guth
,
Brandon M. Moore
,
Traian-Florin Serbanuta
,
Yi Zhang
,
Daniele Filaretti
,
Virgil Nicolae Serbanuta
,
Ralph Johnson
,
Grigore Rosu
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.
FM
(2019)
Everett Hildenbrandt
,
Manasvi Saxena
,
Nishant Rodrigues
,
Xiaoran Zhu
,
Philip Daian
,
Dwight Guth
,
Brandon M. Moore
,
Daejun Park
,
Yi Zhang
,
Andrei Stefanescu
,
Grigore Rosu
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.
CSF
(2018)
Dwight Guth
,
Chris Hathhorn
,
Manasvi Saxena
,
Grigore Rosu
RV-Match: Practical Semantics-Based Program Analysis.
CAV (1)
(2016)
Philip Daian
,
Dwight Guth
,
Chris Hathhorn
,
Yilong Li
,
Edgar Pek
,
Manasvi Saxena
,
Traian-Florin Serbanuta
,
Grigore Rosu
Runtime Verification at Work: A Tutorial.
RV
(2016)