Shambwaditya Saha

According to our database, Shambwaditya Saha authored at least 12 papers between 2015 and 2021.

Collaborative distances:

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

2021

Synthesizing contracts correct modulo a test generator.

Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie

Proc. ACM Program. Lang., 2021

2020

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines.

Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park

J. Autom. Reason., 2020

2019

Learning frameworks for program synthesis

Shambwaditya Saha

PhD thesis, 2019

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants.

Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan

Proceedings of the Static Analysis - 26th International Symposium, 2019

Learning stateful preconditions modulo a test generator.

Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Compositional Synthesis of Piece-Wise Functions by Learning Classifiers.

Daniel Neider, Shambwaditya Saha, P. Madhusudan

ACM Trans. Comput. Log., 2018

Invariant Synthesis for Incomplete Verification Engines.

Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

A Decidable Fragment of Second Order Logic With Applications to Synthesis.

P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2016

Synthesizing Piece-Wise Functions by Learning Classifiers.

Daniel Neider, Shambwaditya Saha, P. Madhusudan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Syntax-Guided Synthesis.

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

Proceedings of the Dependable Software Systems Engineering, 2015

NetGen: synthesizing data-plane configurations for network policies.

Shambwaditya Saha, Santhosh Prabhu, P. Madhusudan

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Alchemist: Learning Guarded Affine Functions.

Shambwaditya Saha, Pranav Garg, P. Madhusudan

Proceedings of the Computer Aided Verification - 27th International Conference, 2015