Slides

29 May ' 20  Data-Driven Learning of Invariants and Specifications
thumbnail
Computer Science,  UCLA
 ⤷ Paper
(PhD Thesis Defense)
32 slides  •  ~ 60 mins  • 
16 Jul ' 19  Overfitting in Synthesis
thumbnail
CAV 2019,  New York City, NY
 ⤷ Paper
(Conference Presentation)
17 slides  •  ~ 18 mins  • 
08 Nov ' 18  FlashProfile: A Framework for Synthesizing Data Profiles
thumbnail
OOPSLA 2018,  Boston, MA
 ⤷ Paper
(Conference Presentation)
14 slides  •  ~ 20 mins  • 
15 Jun ' 16  Data-Driven Precondition Inference with Learned Features
thumbnail
PLDI 2016,  Santa Barbara, CA
 ⤷ Paper
(Conference Presentation)
26 slides  •  ~ 25 mins  • 
LoopInvGen
thumbnail
 ⤷ Paper
(Competition Contribution)
20 slides  •