Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2023-11-13 23:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
