Directed Proof Generation for Machine Code. - Aditya V. Thakur; Junghee Lim; Akash Lal; Amanda Burton; Evan Driscoll; Matt Elder; Tycho Andersen; Thomas W. Reps (CAV, 2010)

Checking conformance of a producer and a consumer. - Evan Driscoll; Amanda Burton; Thomas W. Reps (SIGSOFT FSE, 2011)

OpenNWA: A Nested-Word Automaton Library. - Evan Driscoll; Aditya V. Thakur; Thomas W. Reps (CAV, 2012)

Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. - Denis Gopan; Evan Driscoll; Ducson Nguyen; Dimitri Naydich; Alexey Loginov; David Melski (ICSE (1), 2015)