PhD Thesis: Andrew R. Bernat, "Abstract, Safe, Timely, and Efficient Binary Rewriting". paper and bibtex

On using graph transformations to allow editing of binary structure and control flow: Andrew R. Bernat and Barton P. Miller, "Structured Binary Editing with a CFG Transformation Algebra", Working Conference on Reverse Engineering (WCRE), Kingston, Ontario, CA, October 2012; paper, talk (Keynote), and bibtex

On using graph transformations to allow function- and loop-level instrumentation: Andrew R. Bernat and Barton P. Miller, "Anywhere, Any Time Binary Instrumentation", Program Analysis for Software Tools and Engineering (PASTE), Szeged, Hungary, September 2011; paper, talk (Keynote), and bibtex

On using dataflow analysis to make binary instrumentation safer and more efficient: Andrew R. Bernat, Kevin Roundy, and Barton P. Miller. "Efficient, Sensitivity Resistant Binary Instrumentation", International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, July 2011; paper, talk (Keynote), and bibtex

Giridhar Ravipati, Andrew R. Bernat, Barton P. Miller, and Jeffrey K. Hollingsworth, "Towards the Deconstruction of Dyninst", Technical Report; paper and bibtex

On using localized instrumentation to decrease the overall cost of callpath profiling: Andrew R. Bernat and Barton P. Miller, "Incremental Call-Path Profiling", Concurrency: Practice and Experience 19:11, 2007; paper and bibtex

Martin Schulz, Dong Ahn, Andrew R. Bernat, Bronis Supinski, Steven Ko, Gregory Lee, Barry Rountree, "Scalable Dynamic Binary Instrumentation for BlueGene/L", ACM SIGARCH Computer Architecture News, 33:5, December 2005. paper and bibtex

Recent Talks

Working Conference on Reverse Engineering (WCRE) '12, on control flow graph (CFG) validity and program transformation via the CFG: talk (Keynote)

Google (Madison Office) '12, a presentation on binary editing: talk (Keynote)

CScADS '12, upcoming features in the Dyninst 8.0 release: talk (Keynote)

My PhD oral defense: talk (Keynote)

PASTE '11, on both using CFG transformations to insert more accurate function and loop-level instrumentation as well as code patching for lower overhead: talk (Keynote) (draft)

CScADS '11, a shared talk with Madhavi Krishnan, on ongoing research in the Paradyn Group; my section starts with "Ongoing Research": talk (Powerpoint)

ISSTA '11, on using dataflow analysis for safer, more efficient instrumentation: talk (Keynote)

CCS '11, on using Dyninst to analyze and instrument malware: talk (Powerpoint)

Google (Madison Office) '11, an overview of my research into instrumenting and editing binaries: talk (Keynote)

Paradyn Week '11, on using Dyninst to analyze and instrument malware: talk (Powerpoint)

Paradyn Week '10, on a formalism-based approach to preserving behavior in binary instrumentation: talk (Powerpoint)