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