In Spring 2009 I am teaching CS 536 (Intro to PL and Compilers).
(This page is under heavy construction)
I am a graduate student at the University of Wisconsin, currently working with Tom Reps and Susan Horwitz on static program analysis. Presently we are investigating ways to produce concise descriptions, e.g. regular expressions, that describe input and output (particularly input) formats maniuplated by programs.
I also have a description of the C++ keyword typename, one of the darker corners of that language, describing its use and such.
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.
* Does this really foil robots crawling for addresses? If so, that says a lot about their programming prowess (or lack thereof).