Publications

Program Synthesis using Conflict-Driven Learning, PLDI 2018

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability, NDSS 2017

Component-Based Synthesis of Table Consolidation and Transformation Tasks from Examples, PLDI 2017

Component-Based Synthesis for Complex APIs, POPL 2017

Automatic Generation of Propagation Complete SAT Encodings, VMCAI 2016

Hunter: Next-Generation Code Reuse for Java, FSE 2016

Exploiting Resolution-based Representations for MaxSAT Solving, SAT 2015

Open-WBO: a Modular MaxSAT Solver, SAT 2014

Community-based Partitioning for MaxSAT Solving, SAT 2013