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.