Dwight Guth

From FSL
Jump to: navigation, search

Dwight is an M.S. student studying under Grigore, intending to graduate in May 2013, whose thesis is on the formal semantics of the Python programming language.

Email
Publications

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