I am interested in models of execution and heterogeneous dynamic program analyses, particularly as they relate to concurrency and practical approaches to debugging.
Selecting Peers For Execution Comparison (ISSTA 2011, 29%=35/121)
Unified Debugging Of Distributed Systems With Recon (DSN 2011, 18%=26/148)
Toward Generating Reducible Replay Logs (PLDI 2011, 23%)
Coalescing Executions For Fast Uncertainty Analysis (ICSE 2011, 14%=62/441)
Memory Indexing: Canonicalizing Addresses Across Executions (FSE 2010, 20%=34/169)
Analyzing Concurrency Bugs Using Dual Slicing (ISSTA 2010, 23%=24/105)
Precise Calling Context Encoding (ICSE 2010, 14%=52/380)