Shambwaditya Saha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2015–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PLDI | Learning stateful preconditions modulo a test generator. | Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie |
| 2019 | SAS | Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. | Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan |
| 2018 | CSL | A Decidable Fragment of Second Order Logic With Applications to Synthesis. | P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan |
| 2018 | TACAS | Invariant Synthesis for Incomplete Verification Engines. | Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park |
| 2016 | TACAS | Synthesizing Piece-Wise Functions by Learning Classifiers. | Daniel Neider, Shambwaditya Saha, P. Madhusudan |
| 2015 | CAV | Alchemist: Learning Guarded Affine Functions. | Shambwaditya Saha, Pranav Garg, P. Madhusudan |