I’m a 5th-year graduate student working for Aws Albarghouthi. My research interests revolve around program synthesis and type systems, and how both can be applied to lower the barrier of entry for tasks such as big-data processing or privacy-preserving computation.
My CV is available on request.
Trace Abstraction Modulo Probability
POPL19 - Principles of Programming Languages
Program Synthesis with Equivalence Reduction
VMCAI19 - Verification, Model Checking, and Abstract Interpretation
Discovering Relational Specifications
FSE17 - Foundations of Software Engineering
Best paper award
Constraint-Based Synthesis of Datalog Programs
CP17 - Constraint Programming
MapReduce Program Synthesis
PLDI16 - Programming Language Design and Implementation