Recent Talks
-
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.
Former Talks
-
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.
[video, paper]
-
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.