Data-driven precondition inference with learned features. - Saswat Padhi; Rahul Sharma 001; Todd D. Millstein (PLDI, 2016)

Data-Driven Loop Invariant Inference with Automatic Feature Synthesis. - Saswat Padhi; Todd D. Millstein (CoRR, 2017)

FlashProfile: Interactive Synthesis of Syntactic Profiles. - Saswat Padhi; Prateek Jain 002; Daniel Perelman; Oleksandr Polozov; Sumit Gulwani; Todd D. Millstein (CoRR, 2017)

FlashProfile: a framework for synthesizing data profiles. - Saswat Padhi; Prateek Jain 002; Daniel Perelman; Oleksandr Polozov; Sumit Gulwani; Todd D. Millstein (Proc. ACM Program. Lang., 2018)

Overfitting in Synthesis: Theory and Practice. - Saswat Padhi; Todd D. Millstein; Aditya V. Nori; Rahul Sharma 001 (CAV (1), 2019)

A static slicing method for functional programs and its incremental version. - Prasanna Kumar K.; Amitabha Sanyal; Amey Karkare; Saswat Padhi (CC, 2019)

SyGuS-Comp 2018: Results and Analysis. - Rajeev Alur; Dana Fisman; Saswat Padhi; Rishabh Singh; Abhishek Udupa (CoRR, 2019)

Overfitting in Synthesis: Theory and Practice (Extended Version). - Saswat Padhi; Todd D. Millstein; Aditya V. Nori; Rahul Sharma 001 (CoRR, 2019)

OASIS: ILP-Guided Synthesis of Loop Invariants. - Sahil Bhatia; Saswat Padhi; Nagarajan Natarajan; Rahul Sharma 001; Prateek Jain 002 (CoRR, 2019)

Data-driven inference of representation invariants. - Anders Miltner; Saswat Padhi; Todd D. Millstein; David Walker 001 (PLDI, 2020)

Data-Driven Learning of Invariants and Specifications. - Saswat Padhi (2020)

Automated Analyses of IOT Event Monitoring Systems. - Andrew Apicelli; Sam Bayless; Ankush Das; Andrew Gacek; Dhiva Jaganathan; Saswat Padhi; Vaibhav Sharma 001; Michael W. Whalen; Raveesh Yadav (CAV (1), 2023)

The SyGuS Language Standard Version 2.1. - Saswat Padhi; Elizabeth Polgreen; Mukund Raghothaman; Andrew Reynolds 001; Abhishek Udupa (CoRR, 2023)

Predicting User Experience on Laptops from Hardware Specifications. - Saswat Padhi; Sunil K. Bhasin; Udaya K. Ammu; Alex Bergman; Allan Knies (CoRR, 2024)