Learning to Reason about Programs. 2nd Uber Science Symposium, San Francisco, May 2019.
Can AI and Classical Programming Redeem Each Other? Penn India Technology Innovation Forum, Bangalore, India, Jan 2019.
Navigating the Process of Doing a Rewarding Ph.D..
Programming Languages Mentoring Workshop, SPLASH, Oct 2017.
Hunting Software Bugs Using Machine Learning.
Distinguished Lecture, Iowa State Univ., Oct 2017.
Maximum Satisfiability in Software Analysis: Applications and Techniques.
Invited Tutorial, CAV, July 2017.
Combining Logical and Probabilistic Reasoning in Program Analysis.
Dagstuhl Seminar on Formal Methods and Machine Learning, Aug 2017.
Programming Abstractions for Mobile-Cloud Computing.
UT Austin and Princeton Univ., Sep/Oct 2015.
Petablox: Declarative Program Analysis for Big Code.
UC Berkeley, Stanford, and Facebook, June 2015.
Self-Adaptive Static Analysis.
Workshop on Software Correctness and Reliability, ETH Zurich, Oct 2014. [video]
Large-Scale Configurable Static Analysis.
State Of the Art in Java Program Analysis (SOAP), June 2014.
Automated Testing of Mobile Apps.
Workshop on Challenges in Mobile Computing, Nov 2013.
Datalog for Program Analysis: Beyond the Free Lunch.
LogicBlox Inc. and MSR Cambridge, Aug 2013.
Finding Optimal Program Abstractions.
Dagstuhl Seminar on Pointer Analysis, April 2013.