Dawson R. Engler

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 4

Top Topics

Provably Correct

Symbolic Execution

Static Analysis

Top Venues

USENIX Annual Technical Conference

USENIX Security Symposium

IEEE Symposium on Security and Privacy

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications