Saswat Padhi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2016–2023
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CAV | 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 |
| 2020 | PLDI | Data-driven inference of representation invariants. | Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker |
| 2019 | CAV | Overfitting in Synthesis: Theory and Practice. | Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma |
| 2019 | CC | A static slicing method for functional programs and its incremental version. | Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi |
| 2016 | PLDI | Data-driven precondition inference with learned features. | Saswat Padhi, Rahul Sharma, Todd D. Millstein |