Saswat Padhi

15 papers A* 2B 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Predicting User Experience on Laptops from Hardware Specifications.
CoRR
Saswat Padhi, Sunil K. Bhasin, Udaya K. Ammu, Alex Bergman, Allan Knies
2023 — conf
Automated Analyses of IOT Event Monitoring Systems.
CAV (1)
Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav
2023 J jnl
The SyGuS Language Standard Version 2.1.
CoRR
Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa
2020 J jnl
Data-Driven Inference of Representation Invariants.
CoRR
Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
2020 — —
Data-Driven Learning of Invariants and Specifications.
Saswat Padhi
2020 A* conf
Data-driven inference of representation invariants.
PLDI
Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
2019 B conf
A static slicing method for functional programs and its incremental version.
CC
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi
2019 J jnl
OASIS: ILP-Guided Synthesis of Loop Invariants.
CoRR
Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain
2019 J jnl
Overfitting in Synthesis: Theory and Practice (Extended Version).
CoRR
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
2019 — conf
Overfitting in Synthesis: Theory and Practice.
CAV (1)
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
2019 J jnl
SyGuS-Comp 2018: Results and Analysis.
CoRR
Rajeev Alur, Dana Fisman, Saswat Padhi, Rishabh Singh, Abhishek Udupa
2018 J jnl
FlashProfile: a framework for synthesizing data profiles.
Proc. ACM Program. Lang.
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein
2017 J jnl
Data-Driven Loop Invariant Inference with Automatic Feature Synthesis.
CoRR
Saswat Padhi, Todd D. Millstein
2017 J jnl
FlashProfile: Interactive Synthesis of Syntactic Profiles.
CoRR
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein
2016 A* conf
Data-driven precondition inference with learned features.
PLDI
Saswat Padhi, Rahul Sharma, Todd D. Millstein