I work at Uber on program analysis and software quality. We are hiring! If you're interested in working on challenging program analysis problems and having a big impact (both at Uber and in open source), get in touch. For further details on our work, see my Curry On 2017 talk.
We have released NullAway, A tool to help eliminate Java NullPointerExceptions (NPEs) with low build-time overhead. Check it out!
I received my PhD from the University of California, Berkeley in 2007. My dissertation focused on refinement-based program analysis tools. Since then, I have done research on a variety of topics in static analysis, dynamic analysis, and software engineering. I have previously worked at IBM Research and at Samsung Research America. A list of my publications is here; also see DBLP and my Google Scholar page.
Latest News
- I am serving as the program committee chair for OOPSLA 2018.
- "IoTa: A Calculus for Internet of Things Automation," joint with Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, and Cole Schlesinger, appeared at Onward! 2017. The paper is available here.
- I was a keynote speaker at NASA Formal Methods 2017.
- "Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts," joint with Andrei Dan, Satish Chandra, Jean-Baptiste Jeannin, and Martin Vechev, appeared at CAV 2017. A pre-print is available here.
- "Repairing Event Race Errors by Controlling Nondeterminism," joint with Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Frank Tip, and Koushik Sen, appeared at ICSE 2017. A pre-print is available here.
- I was a keynote speaker at the Asia-Pacific Software Engineering Conference (APSEC 2016).
- "Type Inference for Static Compilation of JavaScript," joint with Satish Chandra, Colin Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Frank Tip, and Young-il Choi, appeared at OOPSLA 2016. A pre-print is available here, and an extended version is here.
- "A Practical Framework for Type Inference Error Explanation," join with Calvin Loncaric, Satish Chandra, and Cole Schlesinger, appeared at OOPSLA 2016. A pre-print is available here.
- I was the organizing chair for the TAPAS 2016 workshop, which was co-located with SAS 2016.
- "Trace Typing: An Approach for Evaluating Retrofitted Type Systems," joint with Esben Andreasen, Colin Gordon, Satish Chandra, Frank Tip, and Koushik Sen, appeared at ECOOP 2016. A pre-print is available here.
- "Selective control-flow abstraction via jumping," joint with Sam Blackshear and Evan Chang, appeared at OOPSLA 2015. A pre-print is available here.
- "MemInsight: Platform-independent memory debugging for JavaScript," joint with Simon Jensen, Satish Chandra, and Koushik Sen, appeared at ESEC/FSE 2015. A pre-print is available here, along with an extended technical report.
- "Mimic: Computing models for opaque code," joint with Stefan Heule and Satish Chandra, appeared at ESEC/FSE 2015. A pre-print is available here.
- "DLint: Dynamically checking bad coding practices in JavaScript," joint with Liang Gong, Michael Pradel, and Koushik Sen, appeared at ISSTA 2015. A pre-print is available here.
Service
- Program Committee Chair, OOPSLA 2018.
- Program Committee, ISSTA 2017.
- Organizing chair, TAPAS 2016.
- Program Committee, OOPSLA 2016.
- External Program Committee, PLDI 2016.
- Publicity Chair, PLDI 2016.
- Program Committee, POPL 2016.
- Organizer, Workshop on WALA.
- Program Committee, SNAPL 2015.
- Program Committee, CAV 2015.
- Program Committee, PLDI 2015.
- Publicity Chair, PLDI 2015.
- Program Committee, MobileSoft 2015.
- External Review Committee, POPL 2015.
- Organizing Committee, TAPAS 2014.
- Program Committee, OOPSLA 2014.
- Program Committee, MobileSoft 2014.
- Program Committee, FSE 2014 Demonstrations Track.
- Publicity Chair, PLDI 2014.
- Student Research Competition Committee, SPLASH 2013.
- Program committee, ESEC/FSE 2013 New Ideas Track.
- External review committee, PLDI 2013.
- Program committee, ICSE 2013 New Ideas and Emerging Results (NIER) Track.
- Program committee, SOAP 2012
- Program committee, SAS 2012
- Program committee, ISSTA 2012
- External review committee, PLDI 2012
- External review committee, POPL 2012
- Program committee, RV 2011
- External review committee, PLDI 2010
- Program committee, PASTE 2010
- External review committee, PLDI 2009