David A. Ramos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2008–2016
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | USENIX | Under-Constrained Symbolic Execution: Correctness Checking for Real Code. | David A. Ramos, Dawson R. Engler |
| 2011 | CAV | Practical, Low-Effort Equivalence Verification of Real Code. | David A. Ramos, Dawson R. Engler |
| 2008 | MICRO | Testudo: Heavyweight security analysis via statistical sampling. | Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie |