I am a Ph.D. student at the University of Wisconsin, advised by Tom Reps and working on static analysis for program compatibility. We are investigating ways to produce concise descriptions of the input and output formats maniuplated by programs, and ways of determining compatibility between them.
In Spring 2009 and again in Fall 2011, I taught CS 536 (Introduction to Compilers).
I have some scripts and other programs available (including useful snippets for configuration files), as well as some writings on interesting aspects of software; this includes a description of the C++ typename keyword.
Thakur, A., Lim, J., Lal, A., Burton, A., Driscoll, E., Elder, M., Andersen, T., and Reps, T., Directed proof generation for machine code. In Proc. Computer-Aided Verification (CAV), 2010. [abstract; CAV '10 version; Extended version (TR-1669); (c) Springer-Verlag]
Burton, A., Thakur, A., Driscoll, E., and Reps, T., WALi: Nested-word automata. TR-1675, Computer Sciences Department, University of Wisconsin, Madison, WI, July 2010. [Superceeded by the CAV '12 version above; abstract; PDF]
Driscoll, E., Burton, A., and Reps, T., Checking compatibility of a producer and a consumer. TR-1674, Computer Sciences Department, University of Wisconsin, Madison, WI, June 2010. [abstract and PDF; superceeded by the FSE '11 version above]
Contact information in brief
driscoll at cs.wisc.edu
Office: 6358 CS (1210 W. Dayton St., Madison, WI 53706)
Office phone: 608/265-9458
For more contact options, see contact.