Presentation Slides

Here are slides for presentations I've given at conferences and elsewhere (still incomplete; if something is missing that you want, please let me know).

• Program Analysis, in Industry and Academia, given at Verification Mentoring Workshop 2019.
• Static Analysis and Reflection, invited talk at SOAP 2013.
• Correlation Tracking for Points-To Analysis of JavaScript, given at ECOOP 2012.
• F4F: Taint Analysis of Framework-based Web Applications, given at OOPSLA 2011.
• Refactoring Java Programs for Flexible Locking, given with Max Schaefer at ICSE 2011.
• Software Economies, given at FoSER 2010.
• Refactoring for Reentrancy, given at FSE 2009.
• The Complexity of Andersen's Analysis in Practice, given at SAS 2009.
• Thin Slicing, given at PLDI 2007.
• Refinement-Based Context-Sensitive Points-To Analysis for Java, given at PLDI 2006.
• Demand-Driven Points-To Analysis for Java, given at OOPSLA 2005.
• Explaining Program Failures via Postmortem Static Analysis, given at FSE 2004.