Evan Driscoll

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Exploratory Analysis

Finite Automata

Top Venues

Publications

Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. ICSE (1) (2015)
Evan Driscoll, Aditya V. Thakur, Thomas W. Reps
OpenNWA: A Nested-Word Automaton Library. CAV (2012)
Evan Driscoll, Amanda Burton, Thomas W. Reps
Checking conformance of a producer and a consumer. SIGSOFT FSE (2011)
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps
Directed Proof Generation for Machine Code. CAV (2010)