David A. Ramos

According to our database, David A. Ramos authored at least 4 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Under-constrained symbolic execution : correctness checking for real code.

David A. Ramos

PhD thesis, 2015

Under-Constrained Symbolic Execution: Correctness Checking for Real Code.

David A. Ramos, Dawson R. Engler

Proceedings of the 24th USENIX Security Symposium, 2015

2011

Practical, Low-Effort Equivalence Verification of Real Code.

David A. Ramos, Dawson R. Engler

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2008

Testudo: Heavyweight security analysis via statistical sampling.

Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie

Proceedings of the 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), 2008