Alchemist: Learning Guarded Affine Functions. - Shambwaditya Saha; Pranav Garg 001; P. Madhusudan (CAV (1), 2015)

NetGen: synthesizing data-plane configurations for network policies. - Shambwaditya Saha; Santhosh Prabhu; P. Madhusudan (SOSR, 2015)

Syntax-Guided Synthesis. - Rajeev Alur; Rastislav Bodík; Eric Dallal; Dana Fisman; Pranav Garg 001; Garvit Juniwal; Hadas Kress-Gazit; P. Madhusudan; Milo M. K. Martin; Mukund Raghothaman; Shambwaditya Saha; Sanjit A. Seshia; et al. (Dependable Software Systems Engineering, 2015)

Synthesizing Piece-Wise Functions by Learning Classifiers. - Daniel Neider; Shambwaditya Saha; P. Madhusudan (TACAS, 2016)

A Decidable Fragment of Second Order Logic With Applications to Synthesis. - P. Madhusudan; Umang Mathur 001; Shambwaditya Saha; Mahesh Viswanathan 001 (CSL, 2018)

Invariant Synthesis for Incomplete Verification Engines. - Daniel Neider; Pranav Garg 001; P. Madhusudan; Shambwaditya Saha; Daejun Park 001 (TACAS (1), 2018)

Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. - Daniel Neider; Shambwaditya Saha; P. Madhusudan (ACM Trans. Comput. Log., 2018)

Learning stateful preconditions modulo a test generator. - Angello Astorga; P. Madhusudan; Shambwaditya Saha; Shiyu Wang; Tao Xie 001 (PLDI, 2019)

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. - Daniel Neider; Shambwaditya Saha; Pranav Garg 001; P. Madhusudan (SAS, 2019)

Learning frameworks for program synthesis - Shambwaditya Saha (2019)

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. - Daniel Neider; P. Madhusudan; Shambwaditya Saha; Pranav Garg 001; Daejun Park 001 (J. Autom. Reason., 2020)

Synthesizing contracts correct modulo a test generator. - Angello Astorga; Shambwaditya Saha; Ahmad Dinkins; Felicia Wang; P. Madhusudan; Tao Xie 001 (Proc. ACM Program. Lang., 2021)