Shambwaditya Saha

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 10

Top Topics

Learning Problems

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Comput. Log.

Publications

Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie
Synthesizing contracts correct modulo a test generator. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. J. Autom. Reason. 64 (7) (2020)
Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. SAS (2019)
Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie
Learning stateful preconditions modulo a test generator. PLDI (2019)
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
A Decidable Fragment of Second Order Logic With Applications to Synthesis. CSL (2018)
Daniel Neider, Shambwaditya Saha, P. Madhusudan
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Trans. Comput. Log. 19 (2) (2018)
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
Invariant Synthesis for Incomplete Verification Engines. TACAS (1) (2018)
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
A Decidable Fragment of Second Order Logic With Applications to Synthesis. CoRR (2017)
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
Invariant Synthesis for Incomplete Verification Engines. CoRR (2017)
Daniel Neider, Shambwaditya Saha, P. Madhusudan
Synthesizing Piece-Wise Functions by Learning Classifiers. TACAS (2016)
Shambwaditya Saha, Pranav Garg, P. Madhusudan
Alchemist: Learning Guarded Affine Functions. CAV (1) (2015)
Shambwaditya Saha, Santhosh Prabhu, P. Madhusudan
NetGen: synthesizing data-plane configurations for network policies. SOSR (2015)