Shambwaditya Saha

14 papers A* 1A 1B 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2021 J jnl
Synthesizing contracts correct modulo a test generator.
Proc. ACM Program. Lang.
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie
2020 J jnl
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines.
J. Autom. Reason.
Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park
2019 — —
Learning frameworks for program synthesis
Shambwaditya Saha
2019 A* conf
Learning stateful preconditions modulo a test generator.
PLDI
Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie
2019 B conf
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants.
SAS
Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan
2018 B conf
A Decidable Fragment of Second Order Logic With Applications to Synthesis.
CSL
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
2018 J jnl
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers.
ACM Trans. Comput. Log.
Daniel Neider, Shambwaditya Saha, P. Madhusudan
2018 — conf
Invariant Synthesis for Incomplete Verification Engines.
TACAS (1)
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
2017 J jnl
A Decidable Fragment of Second Order Logic With Applications to Synthesis.
CoRR
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
2017 J jnl
Invariant Synthesis for Incomplete Verification Engines.
CoRR
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
2016 A conf
Synthesizing Piece-Wise Functions by Learning Classifiers.
TACAS
Daniel Neider, Shambwaditya Saha, P. Madhusudan
2015 — conf
Alchemist: Learning Guarded Affine Functions.
CAV (1)
Shambwaditya Saha, Pranav Garg, P. Madhusudan
2015 — conf
NetGen: synthesizing data-plane configurations for network policies.
SOSR
Shambwaditya Saha, Santhosh Prabhu, P. Madhusudan
2015 — ch.
Syntax-Guided Synthesis.
Dependable Software Systems Engineering
Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa