David A. Ramos

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Specification Language

Optimization Algorithm

Symbolic Execution

Top Venues

USENIX Annual Technical Conference

USENIX Security Symposium

Publications

David A. Ramos, Dawson R. Engler
Under-Constrained Symbolic Execution: Correctness Checking for Real Code. USENIX Annual Technical Conference (2016)
David A. Ramos, Dawson R. Engler
Under-Constrained Symbolic Execution: Correctness Checking for Real Code. USENIX Security Symposium (2015)
David A. Ramos, Dawson R. Engler
Practical, Low-Effort Equivalence Verification of Real Code. CAV (2011)
Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie
Testudo: Heavyweight security analysis via statistical sampling. MICRO (2008)