Evan Driscoll

According to our database, Evan Driscoll authored at least 4 papers between 2010 and 2015.

Collaborative distances:

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

2015

Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery.

Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2012

OpenNWA: A Nested-Word Automaton Library.

Evan Driscoll, Aditya V. Thakur, Thomas W. Reps

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Checking conformance of a producer and a consumer.

Evan Driscoll, Amanda Burton, Thomas W. Reps

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010

Directed Proof Generation for Machine Code.

Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010