I am an associate professor in the Computer Science and Engineering department at the University of California, Riverside, working in the areas of programming languages and software engineering. I am interested in developing novel tools and techniques to make large-scale software more reliable, performant, secure, and maintainable. A list of my publications is here; also see DBLP and my Google Scholar page.
Previously, I worked on applying PL technologies at Uber. I was the primary developer of NullAway, a tool to help eliminate Java NullPointerExceptions with low build-time overhead. You can see talks I gave on our work at Uber here and here, or listen to a podcast interview here.
Before Uber, I worked at IBM Research and at Samsung Research America. Even before that, I received my PhD from the University of California, Berkeley.
Latest News
- I served as the program committee chair for OOPSLA 2018.
- "Safe Stream-Based Programming with Refinement Types," joint with Benno Stein, Lazaro Clapp, and Bor-Yuh Evan Chang, appeared at ASE 2018. A pre-print is available here.
- "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.
Service
- Program Committee, ICSE 2020.
- Program Committee, OOPSLA 2019.
- Program Committee, ECOOP 2019.
- 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