My current research interests include debugging/development tools, managed runtimes, and heap analysis (both static and dynamic).
I am also very interested in the topic of program synthesis and in how it can be used to assist both programmers and end-users.
I am currently focused on creating a very low-overhead Time-Traveling Debugger in the
Node.js host). The goal of this work is to provide reverse step versions of
the usual step forward operations provided by a debugger to enable a developer to easily reverse program execution time to see the
exact sequence of statements and program values leading to an error.
- Source code is available on github.
- A demo video is available here.
FSE 2016 [Paper (pdf)]
A Gray Box Approach For High-Fidelity, High-Speed Time-Travel Debugging
MSR Tech. Report 2016 [Paper (pdf)]
Program Synthesis using Natural Language
ICSE 2016 [Paper (pdf)]
Tardis: Affordable Time-Travel Debugging in Managed Runtimes
OOPSLA 2014 [Paper (pdf)]
NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
SIGMOD 2014 [Paper (pdf)]
Collecting a Heap of Shapes
ISSTA 2013 [Paper (pdf)]
Distinguished Paper Award
From Relational Verification to SIMD Loop Synthesis
PPOPP 2013 [Paper (pdf)]
Best Paper Award & CACM Highlight Nomination
Heap Analysis Design: An Empirical Approach
MSR Technical Report [Paper (pdf)]
Abstracting Runtime Heaps for Program Understanding
IEEE TSE 2013 [Paper (pdf)]
Programming Paradigm Driven Heap Analysis
CC 2012 [Paper (pdf)]
Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities
ISSTA 2012 [Paper (pdf)]
Identification of Logically Related Heap Regions
ISMM 2009 [Paper (pdf)]
Sharing Analysis of Arrays, Collections, and Recursive Structures
PASTE 2008 [Paper (pdf)]
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models
LCPC 2008 [Paper (pdf)]
Heap Analysis in the Presence of Collection Libraries
PASTE 2007 [Paper (pdf)]
Recent Professional Activities
- PC/ERC Member: PLDI '14, VMCAI '13, ISMM '13, FSE/NI '13
- Journal Reviewer: TOPLAS
I am from Albuquerque, New Mexico (in the USA).
As an undergraduate I attended UC Berkeley and obtained a BA in Mathematics. I received my Ph.D. from the
University of New Mexico
under the supervision of Prof. Deepak Kapur.
I spent 2008-2012 at the Imdea Software Institute in Madrid Spain before taking my current position at Microsoft Research.