default search action
BibTeX records: Shambwaditya Saha
@article{DBLP:journals/pacmpl/AstorgaSDWMX21, author = {Angello Astorga and Shambwaditya Saha and Ahmad Dinkins and Felicia Wang and P. Madhusudan and Tao Xie}, title = {Synthesizing contracts correct modulo a test generator}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{OOPSLA}}, pages = {1--27}, year = {2021}, url = {https://doi.org/10.1145/3485481}, doi = {10.1145/3485481}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/AstorgaSDWMX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/NeiderMSGP20, author = {Daniel Neider and P. Madhusudan and Shambwaditya Saha and Pranav Garg and Daejun Park}, title = {A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines}, journal = {J. Autom. Reason.}, volume = {64}, number = {7}, pages = {1523--1552}, year = {2020}, url = {https://doi.org/10.1007/s10817-020-09570-z}, doi = {10.1007/S10817-020-09570-Z}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/NeiderMSGP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/us/Saha19, author = {Shambwaditya Saha}, title = {Learning frameworks for program synthesis}, school = {University of Illinois Urbana-Champaign, {USA}}, year = {2019}, url = {https://hdl.handle.net/2142/106251}, timestamp = {Thu, 14 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/us/Saha19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/AstorgaMSWX19, author = {Angello Astorga and P. Madhusudan and Shambwaditya Saha and Shiyu Wang and Tao Xie}, editor = {Kathryn S. McKinley and Kathleen Fisher}, title = {Learning stateful preconditions modulo a test generator}, booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA, June 22-26, 2019}, pages = {775--787}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3314221.3314641}, doi = {10.1145/3314221.3314641}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/AstorgaMSWX19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/NeiderS0M19, author = {Daniel Neider and Shambwaditya Saha and Pranav Garg and P. Madhusudan}, editor = {Bor{-}Yuh Evan Chang}, title = {Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants}, booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto, Portugal, October 8-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11822}, pages = {323--346}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32304-2\_16}, doi = {10.1007/978-3-030-32304-2\_16}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/NeiderS0M19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/NeiderSM18, author = {Daniel Neider and Shambwaditya Saha and P. Madhusudan}, title = {Compositional Synthesis of Piece-Wise Functions by Learning Classifiers}, journal = {{ACM} Trans. Comput. Log.}, volume = {19}, number = {2}, pages = {10:1--10:23}, year = {2018}, url = {https://doi.org/10.1145/3173545}, doi = {10.1145/3173545}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/NeiderSM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/MadhusudanMS018, author = {P. Madhusudan and Umang Mathur and Shambwaditya Saha and Mahesh Viswanathan}, editor = {Dan R. Ghica and Achim Jung}, title = {A Decidable Fragment of Second Order Logic With Applications to Synthesis}, booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}}, series = {LIPIcs}, volume = {119}, pages = {31:1--31:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.CSL.2018.31}, doi = {10.4230/LIPICS.CSL.2018.31}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/MadhusudanMS018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/Neider0MS018, author = {Daniel Neider and Pranav Garg and P. Madhusudan and Shambwaditya Saha and Daejun Park}, editor = {Dirk Beyer and Marieke Huisman}, title = {Invariant Synthesis for Incomplete Verification Engines}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10805}, pages = {232--250}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89960-2\_13}, doi = {10.1007/978-3-319-89960-2\_13}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/Neider0MS018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-05513, author = {P. Madhusudan and Umang Mathur and Shambwaditya Saha and Mahesh Viswanathan}, title = {A Decidable Fragment of Second Order Logic With Applications to Synthesis}, journal = {CoRR}, volume = {abs/1712.05513}, year = {2017}, url = {http://arxiv.org/abs/1712.05513}, eprinttype = {arXiv}, eprint = {1712.05513}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-05513.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-05581, author = {Daniel Neider and Pranav Garg and P. Madhusudan and Shambwaditya Saha and Daejun Park}, title = {Invariant Synthesis for Incomplete Verification Engines}, journal = {CoRR}, volume = {abs/1712.05581}, year = {2017}, url = {http://arxiv.org/abs/1712.05581}, eprinttype = {arXiv}, eprint = {1712.05581}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-05581.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/NeiderSM16, author = {Daniel Neider and Shambwaditya Saha and P. Madhusudan}, editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin}, title = {Synthesizing Piece-Wise Functions by Learning Classifiers}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9636}, pages = {186--203}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49674-9\_11}, doi = {10.1007/978-3-662-49674-9\_11}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/NeiderSM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Saha0M15, author = {Shambwaditya Saha and Pranav Garg and P. Madhusudan}, editor = {Daniel Kroening and Corina S. Pasareanu}, title = {Alchemist: Learning Guarded Affine Functions}, booktitle = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9206}, pages = {440--446}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21690-4\_26}, doi = {10.1007/978-3-319-21690-4\_26}, timestamp = {Fri, 27 Mar 2020 08:45:57 +0100}, biburl = {https://dblp.org/rec/conf/cav/Saha0M15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sosr/SahaPM15, author = {Shambwaditya Saha and Santhosh Prabhu and P. Madhusudan}, editor = {Jennifer Rexford and Amin Vahdat}, title = {NetGen: synthesizing data-plane configurations for network policies}, booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Symposium on Software Defined Networking Research, {SOSR} '15, Santa Clara, California, USA, June 17-18, 2015}, pages = {17:1--17:6}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2774993.2775006}, doi = {10.1145/2774993.2775006}, timestamp = {Tue, 06 Nov 2018 11:07:02 +0100}, biburl = {https://dblp.org/rec/conf/sosr/SahaPM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15, author = {Rajeev Alur and Rastislav Bod{\'{\i}}k and Eric Dallal and Dana Fisman and Pranav Garg and Garvit Juniwal and Hadas Kress{-}Gazit and P. Madhusudan and Milo M. K. Martin and Mukund Raghothaman and Shambwaditya Saha and Sanjit A. Seshia and Rishabh Singh and Armando Solar{-}Lezama and Emina Torlak and Abhishek Udupa}, editor = {Maximilian Irlbeck and Doron A. Peled and Alexander Pretschner}, title = {Syntax-Guided Synthesis}, booktitle = {Dependable Software Systems Engineering}, series = {{NATO} Science for Peace and Security Series, {D:} Information and Communication Security}, volume = {40}, pages = {1--25}, publisher = {{IOS} Press}, year = {2015}, url = {https://doi.org/10.3233/978-1-61499-495-4-1}, doi = {10.3233/978-1-61499-495-4-1}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.