Yes, I know, my web-page is very out of date. I'm working on it!
|2011/2012||I'll be serving on the program committees for PLDI 2012 and OOPSLA 2012|
|April 2011||Final version of our OOPSLA 2011 paper "Asynchronous Assertions"|
|November, 2010||Sean Kelley receives Honorable Mention in the CRA Outstanding Undergraduate Research Awards for his work on Heapviz|
|July, 2010||"Heapviz: Interactive Heap Visualization for Program Understanding and Debugging"
accepted to SOFTVIS 2010. see final paper
|May, 2010||"What Can the GC Compute Efficiently? A Language for Heap Assertions at GC Time"
accepted to OOPSLA 2010. see final paper
|March 11, 2010||First release of Elephant Tracks, our own GC tracing tool based on the Merlin agorithm|
|January, 2010||"Breadcrumbs: Efficient Context Sensitivity for
Dynamic Bug Detection Analyses"
accepted to PLDI 2010. see final paper
COMP 11 -- Introduction to Computer Science -- Spring 2010 Spring 2011
COMP 80 -- Programming Languages -- Spring 2009 Spring 2007
I work in a variety of different areas of programming language research, including compilers, optimizations, program analysis, and run-time systems.
Dynamic Bug Detection
The goal of this project is to develop new tools to help programmers detect and diagnose bugs at run-time. We're looking at new ways to specify desired properties, check those properties, and report useful debugging information. GC Assertions in PLDI 2009, Origin Tracking in OOPSLA 2007, Breadcrumbs in PLDI 2010.
This project explores novel techniques for optimizing memory management and usage, including object and container representation, and garbage collection. Free Me in PLDI 2006, Dynamic Object Colocation in OOPSLA 2004.
Static analysis for security
Eddie Aftandilian -- dynamic bug detection
Kathryn S. McKinley (UT) Gary Sevitsky (IBM) Eran Yahav (IBM) Martin Vechev Mike Bond (Ohio State) Yannis Smaragdakis (UMass) Steve Blackburn (ANU) Emery Berger (UMass) Calvin Lin (UT) Daniel Jimenez (UTSA)
Aliza Guyer: nurse practitioner and mother extraordinaire!
Joanna Parham (Hardin Construction) Emery Berger (UMass) Yannis Smaragdakis (UMass) Brendon Cahoon (Intel) Daniel Jimenez (UTSA) Ram Mettu (UMass) Mark Kriegsman (Veracode) Brian Black (Veracode) Brooke Mohnkern Phoebe Weidmann (Australia) Jeff Thomas Nils Reker (MaK) and Melanie Butcher Andrew Frasca (October Handmade Bikes) George Preble (Tufts) Kim Hazelwood (UVa) Lisa Lowy and Marc Chiarini Scott Kaplan Steve Henn Xianglong Huang
Jonah's Crib: my blog documents the process. The crib was finally finished on July 12, 2009.
Updated April 1, 2010