Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Saurabh Srivastava 0001
@article{DBLP:journals/sttt/SrivastavaGF13,
author = {Saurabh Srivastava and
Sumit Gulwani and
Jeffrey S. Foster},
title = {Template-based program verification and program synthesis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {497--518},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0223-4},
doi = {10.1007/S10009-012-0223-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SrivastavaGF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KoksalPSBFP13,
author = {Ali Sinan K{\"{o}}ksal and
Yewen Pu and
Saurabh Srivastava and
Rastislav Bod{\'{\i}}k and
Jasmin Fisher and
Nir Piterman},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Synthesis of biological models from mutation experiments},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {469--482},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429125},
doi = {10.1145/2429069.2429125},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KoksalPSBFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PuBS11,
author = {Yewen Pu and
Rastislav Bod{\'{\i}}k and
Saurabh Srivastava},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Synthesis of first-order dynamic programming algorithms},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {83--98},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048076},
doi = {10.1145/2048066.2048076},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PuBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SrivastavaGCF11,
author = {Saurabh Srivastava and
Sumit Gulwani and
Swarat Chaudhuri and
Jeffrey S. Foster},
editor = {Mary W. Hall and
David A. Padua},
title = {Path-based inductive synthesis for program inversion},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {492--503},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993557},
doi = {10.1145/1993498.1993557},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SrivastavaGCF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Srivastava10,
author = {Saurabh Srivastava},
title = {Satisfiability-based Program Reasoning and Program Synthesis},
school = {University of Maryland, College Park, MD, {USA}},
year = {2010},
url = {https://hdl.handle.net/1903/10416},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Srivastava10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SrivastavaGF10,
author = {Saurabh Srivastava and
Sumit Gulwani and
Jeffrey S. Foster},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {From program verification to program synthesis},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {313--326},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706337},
doi = {10.1145/1706299.1706337},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/SrivastavaGF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SrivastavaGF09,
author = {Saurabh Srivastava and
Sumit Gulwani and
Jeffrey S. Foster},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {{VS3:} {SMT} Solvers for Program Verification},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {702--708},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_58},
doi = {10.1007/978-3-642-02658-4\_58},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SrivastavaGF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SrivastavaG09,
author = {Saurabh Srivastava and
Sumit Gulwani},
editor = {Michael Hind and
Amer Diwan},
title = {Program verification using templates over predicate abstraction},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {223--234},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542501},
doi = {10.1145/1542476.1542501},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SrivastavaG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GulwaniSV09,
author = {Sumit Gulwani and
Saurabh Srivastava and
Ramarathnam Venkatesan},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {Constraint-Based Invariant Inference over Predicate Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {120--135},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_13},
doi = {10.1007/978-3-540-93900-9\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GulwaniSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SrivastavaHFJ08,
author = {Saurabh Srivastava and
Michael Hicks and
Jeffrey S. Foster and
Patrick Jenkins},
title = {Modular Information Hiding and Type-Safe Linking for {C}},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {3},
pages = {357--376},
year = {2008},
url = {https://doi.org/10.1109/TSE.2008.25},
doi = {10.1109/TSE.2008.25},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SrivastavaHFJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniSV08,
author = {Sumit Gulwani and
Saurabh Srivastava and
Ramarathnam Venkatesan},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Program analysis as constraint solving},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {281--292},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375616},
doi = {10.1145/1375581.1375616},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/SrivastavaHF07,
author = {Saurabh Srivastava and
Michael Hicks and
Jeffrey S. Foster},
editor = {Fran{\c{c}}ois Pottier and
George C. Necula},
title = {Modular information hiding and type-safe linking for {C}},
booktitle = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Nice, France, January
16, 2007},
pages = {3--14},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190315.1190319},
doi = {10.1145/1190315.1190319},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tldi/SrivastavaHF07.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 2024-05-09 00:00 CEST 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:
