Learning to Reason about Programs.
- Waterloo Workshop on ML + Security + Verification, Waterloo, Canada, August 2019.
- Workshop on Machine Learning and Programming Languages (MAPL), Phoenix, Arizona, June 2019.
- Workshop on Machine Learning for Software Engineering (ML4SE), Montreal, Canada, June 2019.
- 2nd Uber Science Symposium, San Francisco, California, 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, October 2017.
Hunting Software Bugs Using Machine Learning.
Distinguished Lecture, Iowa State Univ., October 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, August 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, November 2013.
Datalog for Program Analysis: Beyond the Free Lunch.
LogicBlox Inc. and MSR Cambridge, August 2013.
Finding Optimal Program Abstractions.
Dagstuhl Seminar on Pointer Analysis, April 2013.