Slides

16 Jul ' 19  Overfitting in Synthesis
thumbnail
CAV 2019,  New York City, NY
 ⤷ Paper
(Conference Talk)
17 slides  •  ~ 18 mins  • 
08 Nov ' 18  FlashProfile: A Framework for Synthesizing Data Profiles
thumbnail
OOPSLA 2018,  Boston, MA
 ⤷ Paper
(Conference Talk)
14 slides  •  ~ 20 mins  • 
15 Jun ' 16  Data-Driven Precondition Inference with Learned Features
thumbnail
PLDI 2016,  Santa Barbara, CA
 ⤷ Paper
(Conference Talk)
26 slides  •  ~ 25 mins  • 
LoopInvGen
thumbnail
 ⤷ Paper
(Competition Contribution)
20 slides  •