Dwight Guth

According to our database, Dwight Guth authored at least 4 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.

Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2016

Runtime Verification at Work: A Tutorial.

Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Runtime Verification - 16th International Conference, 2016

RV-Match: Practical Semantics-Based Program Analysis.

Dwight Guth, Chris Hathhorn, Manasvi Saxena, Grigore Rosu

Proceedings of the Computer Aided Verification - 28th International Conference, 2016