Saswat Padhi

According to our database, Saswat Padhi authored at least 14 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Predicting User Experience on Laptops from Hardware Specifications.

Saswat Padhi, Sunil K. Bhasin, Udaya K. Ammu, Alex Bergman, Allan Knies

CoRR, 2024

2023

The SyGuS Language Standard Version 2.1.

Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa

CoRR, 2023

Automated Analyses of IOT Event Monitoring Systems.

Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2020

Data-Driven Learning of Invariants and Specifications.

Saswat Padhi

PhD thesis, 2020

Data-driven inference of representation invariants.

Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

OASIS: ILP-Guided Synthesis of Loop Invariants.

Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain

CoRR, 2019

Overfitting in Synthesis: Theory and Practice (Extended Version).

Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma

CoRR, 2019

SyGuS-Comp 2018: Results and Analysis.

Rajeev Alur, Dana Fisman, Saswat Padhi, Rishabh Singh, Abhishek Udupa

CoRR, 2019

A static slicing method for functional programs and its incremental version.

Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi

Proceedings of the 28th International Conference on Compiler Construction, 2019

Overfitting in Synthesis: Theory and Practice.

Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

FlashProfile: a framework for synthesizing data profiles.

Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein

Proc. ACM Program. Lang., 2018

2017

FlashProfile: Interactive Synthesis of Syntactic Profiles.

Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein

CoRR, 2017

Data-Driven Loop Invariant Inference with Automatic Feature Synthesis.

Saswat Padhi, Todd D. Millstein

CoRR, 2017

2016

Data-driven precondition inference with learned features.

Saswat Padhi, Rahul Sharma, Todd D. Millstein

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016