About Me

Contact Info

E-Mail

travitch at cs [dot] wisc [dot] edu

GPG Key

pub   1024D/7B142FCD 2011-11-14
      Key fingerprint = 8F53 4309 1C95 383C 6E4F  BA49 3189 C87E 7B14 2FCD
sub   4096g/78757A4B 2011-11-14
          

Note, I just had to regenerate my key on Nov. 14 2011 since I didn't notice that my old key had expired.

Publication(s)

• Automatic Generation of Library Bindings Using Static Analysis (PLDI 2009)
• Analyzing Memory Ownership Patterns in C Libraries (ISMM 2013)

Dissertation

My dissertation is posted in PDF form. The code for the dissertation is available on github.

Tech Report(s)

• Statistically Debugging Massively-Parallel Applications

Research Interests

In no particular order:

• Program visualization
• Foreign function interfaces (more generally, language interoperability)
• Programming tools for navigation and debugging

Other Interests

Typography, Linguistics

Resources

• Library Binding Generator - code for my PLDI09 paper
• A University of Wisconsin LaTeX Beamer template
• A brief introduction to pthreads
• Beard Off 2009

Food

• Project Turducken 1.0 (2008)