Curriculum Vitae

Full printable CV: PDF

Floating-Point Research

Released Software:


Selected Talks:

Miscellaneous Research

Released Software:



Project reports from graduate courses at the University of Maryland, College Park:

  • Automatic Patch Generation (CMSC 631, PDF)
  • Decoupling Port and Protocol on the Internet (CMSC 711, PDF)
  • FPInst: Floating Point Error Analysis Using Dyninst (CMSC 714, PDF)
  • Query Progress Indicators in PostgreSQL (CMSC 724, PDF)
  • Uncertainty for the Novice (CMSC 734, PDF)
  • EasyCell: A Language for Describing Cellular Signalling Pathways (CMSC 828N, PDF)

Project reports from undergraduate courses at James Madison University:

  • Student Open Source Use on the JMU Campus (PDF)
  • Therac-25 (PDF)