Conference Publications

CC '19
( ... To Appear ... )
A Slicing Method for Functional Programs and its Incremental Version
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi
( )
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd Millstein
PLDI '16
( )
Data-Driven Precondition Inference with Learned Features
Saswat Padhi, Rahul Sharma, Todd Millstein


SyGuS Competition Contribution