Publications

2020

PLDI20 Proving Data-Poisoning Robustness in Decision Trees

Details PDF

2019

CAV19 Efficient Synthesis with Probabilistic Constraints

Details PDF Slides

2017

OOPSLA17 Probabilistic Verification of Program Fairness

Details PDF Slides Video
CAV17 Repairing Decision-Making Programs Under Uncertainty

Details PDF Slides Video
TACAS17 Learning Symbolic Automata
Best paper award nominee
Details PDF Slides

2016

FATML16 Fairness as a Program Property

Details PDF Slides Video
CAV16 Effectively Propositional Interpolants

Details PDF Slides