Concepedia

Dwight Guth

DG

4

Publications

534

Citations

4

H-Index

2013

Active since

Affiliations

East China Normal University(Current)

Dwight Guth is an author at East China Normal University specializing in engineering, automated reasoning, and formal verification.

Top concepts

Publications per year

2013–2018

4

Publications

4

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. · 2018 · 404 citations

, , +26

KEVM: A Complete Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Xiaoran Zhu et al. · IDEALS (University of Illinois Urbana-Champaign) · 2017 · 96 citations · Full text

A formal semantics of Python 3.3

Dwight Guth · 2013 · 23 citations

, , +7

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Theodoros Kasampalis, Dwight Guth, Brandon Moore et al. · IDEALS (University of Illinois Urbana-Champaign) · 2018 · 11 citations · Full text

Rows per page

1–4 of 4