Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Shaz Qadeer
@article{DBLP:journals/jar/ShengNRZDGPQBT23,
author = {Ying Sheng and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Yoni Zohar and
David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Clark W. Barrett and
Cesare Tinelli},
title = {Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {32},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09682-2},
doi = {10.1007/S10817-023-09682-2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/ShengNRZDGPQBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LorchCKMPQSWZ22,
author = {Jacob R. Lorch and
Yixuan Chen and
Manos Kapritsos and
Haojun Ma and
Bryan Parno and
Shaz Qadeer and
Upamanyu Sharma and
James R. Wilcox and
Xueyuan Zhao},
title = {Armada: Automated Verification of Concurrent Code with Sound Semantic
Extensibility},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {44},
number = {2},
pages = {12:1--12:39},
year = {2022},
url = {https://doi.org/10.1145/3502491},
doi = {10.1145/3502491},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LorchCKMPQSWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ShengNRZDGPQBT22,
author = {Ying Sheng and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Yoni Zohar and
David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Clark W. Barrett and
Cesare Tinelli},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Reasoning About Vectors Using an {SMT} Theory of Sequences},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {125--143},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_9},
doi = {10.1007/978-3-031-10769-6\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ShengNRZDGPQBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DillGPQXZ22,
author = {David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Meng Xu and
Jingyi Emma Zhong},
editor = {Dana Fisman and
Grigore Rosu},
title = {Fast and Reliable Formal Verification of Smart Contracts with the
Move Prover},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {183--200},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_10},
doi = {10.1007/978-3-030-99524-9\_10},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DillGPQXZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-05181,
author = {Sam Blackshear and
John C. Mitchell and
Todd Nowacki and
Shaz Qadeer},
title = {The Move Borrow Checker},
journal = {CoRR},
volume = {abs/2205.05181},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.05181},
doi = {10.48550/ARXIV.2205.05181},
eprinttype = {arXiv},
eprint = {2205.05181},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-05181.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08095,
author = {Ying Sheng and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Yoni Zohar and
David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Clark W. Barrett and
Cesare Tinelli},
title = {Reasoning About Vectors using an {SMT} Theory of Sequences},
journal = {CoRR},
volume = {abs/2205.08095},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08095},
doi = {10.48550/ARXIV.2205.08095},
eprinttype = {arXiv},
eprint = {2205.08095},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/DeligiannisGLQ21,
author = {Pantazis Deligiannis and
Narayanan Ganapathy and
Akash Lal and
Shaz Qadeer},
editor = {Carlo Curino and
Georgia Koutrika and
Ravi Netravali},
title = {Building Reliable Cloud Services Using Coyote Actors},
booktitle = {SoCC '21: {ACM} Symposium on Cloud Computing, Seattle, WA, USA, November
1 - 4, 2021},
pages = {108--121},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472883.3486983},
doi = {10.1145/3472883.3486983},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloud/DeligiannisGLQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KraglQ21,
author = {Bernhard Kragl and
Shaz Qadeer},
title = {The Civl Verifier},
booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
CT, USA, October 19-22, 2021},
pages = {143--152},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_23},
doi = {10.34727/2021/ISBN.978-3-85448-046-4\_23},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KraglQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-08362,
author = {David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Meng Xu and
Jingyi Emma Zhong},
title = {Fast and Reliable Formal Verification of Smart Contracts with the
Move Prover},
journal = {CoRR},
volume = {abs/2110.08362},
year = {2021},
url = {https://arxiv.org/abs/2110.08362},
eprinttype = {arXiv},
eprint = {2110.08362},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-08362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhongCQGBPZBD20,
author = {Jingyi Emma Zhong and
Kevin Cheang and
Shaz Qadeer and
Wolfgang Grieskamp and
Sam Blackshear and
Junkil Park and
Yoni Zohar and
Clark W. Barrett and
David L. Dill},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {The Move Prover},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {137--150},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_7},
doi = {10.1007/978-3-030-53288-8\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ZhongCQGBPZBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KraglQH20,
author = {Bernhard Kragl and
Shaz Qadeer and
Thomas A. Henzinger},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Refinement for Structured Concurrent Programs},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {275--298},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_14},
doi = {10.1007/978-3-030-53288-8\_14},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KraglQH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LorchCKPQSWZ20,
author = {Jacob R. Lorch and
Yixuan Chen and
Manos Kapritsos and
Bryan Parno and
Shaz Qadeer and
Upamanyu Sharma and
James R. Wilcox and
Xueyuan Zhao},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Armada: low-effort verification of high-performance concurrent programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {197--210},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385971},
doi = {10.1145/3385412.3385971},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LorchCKPQSWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KraglEHMQ20,
author = {Bernhard Kragl and
Constantin Enea and
Thomas A. Henzinger and
Suha Orhun Mutluergil and
Shaz Qadeer},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Inductive sequentialization of asynchronous programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {227--242},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385980},
doi = {10.1145/3385412.3385980},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KraglEHMQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DasQ20,
author = {Ankush Das and
Shaz Qadeer},
editor = {David Pichardie and
Mihaela Sighireanu},
title = {Exact and Linear-Time Gas-Cost Analysis},
booktitle = {Static Analysis - 27th International Symposium, {SAS} 2020, Virtual
Event, November 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12389},
pages = {333--356},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65474-0\_15},
doi = {10.1007/978-3-030-65474-0\_15},
timestamp = {Fri, 29 Jan 2021 16:47:04 +0100},
biburl = {https://dblp.org/rec/conf/sas/DasQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/KraglEHMQ20,
author = {Bernhard Kragl and
Constantin Enea and
Thomas A. Henzinger and
Suha Orhun Mutluergil and
Shaz Qadeer},
title = {Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact)
(Version 1)},
publisher = {Zenodo},
year = {2020},
month = apr,
howpublished = {\url{https://doi.org/10.5281/zenodo.3754772}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3754772},
doi = {10.5281/ZENODO.3754772},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/KraglEHMQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04903,
author = {Pantazis Deligiannis and
Narayanan Ganapathy and
Akash Lal and
Shaz Qadeer},
title = {Building Reliable Cloud Services Using P{\#} (Experience Report)},
journal = {CoRR},
volume = {abs/2002.04903},
year = {2020},
url = {https://arxiv.org/abs/2002.04903},
eprinttype = {arXiv},
eprint = {2002.04903},
timestamp = {Fri, 14 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04903.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05106,
author = {Sam Blackshear and
David L. Dill and
Shaz Qadeer and
Clark W. Barrett and
John C. Mitchell and
Oded Padon and
Yoni Zohar},
title = {Resources: {A} Safe Language Abstraction for Money},
journal = {CoRR},
volume = {abs/2004.05106},
year = {2020},
url = {https://arxiv.org/abs/2004.05106},
eprinttype = {arXiv},
eprint = {2004.05106},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-05106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DesaiPQS18,
author = {Ankush Desai and
Amar Phanishayee and
Shaz Qadeer and
Sanjit A. Seshia},
title = {Compositional programming and testing of dynamic distributed systems},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {159:1--159:30},
year = {2018},
url = {https://doi.org/10.1145/3276529},
doi = {10.1145/3276529},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DesaiPQS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KraglQ18,
author = {Bernhard Kragl and
Shaz Qadeer},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Layered Concurrent Programs},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {79--102},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_5},
doi = {10.1007/978-3-319-96145-3\_5},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/KraglQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniEJQ18,
author = {Ahmed Bouajjani and
Constantin Enea and
Kailiang Ji and
Shaz Qadeer},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {On the Completeness of Verifying Message Passing Programs Under Bounded
Asynchrony},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {372--391},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_23},
doi = {10.1007/978-3-319-96142-2\_23},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniEJQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KraglQH18,
author = {Bernhard Kragl and
Shaz Qadeer and
Thomas A. Henzinger},
editor = {Sven Schewe and
Lijun Zhang},
title = {Synchronizing the Asynchronous},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {21:1--21:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.21},
doi = {10.4230/LIPICS.CONCUR.2018.21},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/KraglQH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/GhoshBRQK18,
author = {Shromona Ghosh and
Felix Berkenkamp and
Gireeja Ranade and
Shaz Qadeer and
Ashish Kapoor},
title = {Verifying Controllers Against Adversarial Examples with Bayesian Optimization},
booktitle = {2018 {IEEE} International Conference on Robotics and Automation, {ICRA}
2018, Brisbane, Australia, May 21-25, 2018},
pages = {7306--7313},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICRA.2018.8460635},
doi = {10.1109/ICRA.2018.8460635},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/GhoshBRQK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DesaiQS18,
author = {Ankush Desai and
Shaz Qadeer and
Sanjit A. Seshia},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Programming Safe Robotics Systems: Challenges and Advances},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {103--119},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_8},
doi = {10.1007/978-3-030-03421-4\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/DesaiQS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/GuptaKQT18,
author = {Aarti Gupta and
Vineet Kahlon and
Shaz Qadeer and
Tayssir Touili},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Model Checking Concurrent Programs},
booktitle = {Handbook of Model Checking},
pages = {573--611},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_18},
doi = {10.1007/978-3-319-10575-8\_18},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/GuptaKQT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08678,
author = {Shromona Ghosh and
Felix Berkenkamp and
Gireeja Ranade and
Shaz Qadeer and
Ashish Kapoor},
title = {Verifying Controllers Against Adversarial Examples with Bayesian Optimization},
journal = {CoRR},
volume = {abs/1802.08678},
year = {2018},
url = {http://arxiv.org/abs/1802.08678},
eprinttype = {arXiv},
eprint = {1802.08678},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08678.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06612,
author = {Ahmed Bouajjani and
Constantin Enea and
Kailiang Ji and
Shaz Qadeer},
title = {On the Completeness of Verifying Message Passing Programs under Bounded
Asynchrony},
journal = {CoRR},
volume = {abs/1804.06612},
year = {2018},
url = {http://arxiv.org/abs/1804.06612},
eprinttype = {arXiv},
eprint = {1804.06612},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MudduluruDDLQ17,
author = {Rashmi Mudduluru and
Pantazis Deligiannis and
Ankush Desai and
Akash Lal and
Shaz Qadeer},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Lasso detection using partial-state caching},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {84--91},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102245},
doi = {10.23919/FMCAD.2017.8102245},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/MudduluruDDLQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/DesaiSYQS17,
author = {Ankush Desai and
Indranil Saha and
Jianqiao Yang and
Shaz Qadeer and
Sanjit A. Seshia},
editor = {Sonia Mart{\'{\i}}nez and
Eduardo Tovar and
Chris Gill and
Bruno Sinopoli},
title = {{DRONA:} a framework for safe distributed mobile robotics},
booktitle = {Proceedings of the 8th International Conference on Cyber-Physical
Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20,
2017},
pages = {239--248},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3055004.3055022},
doi = {10.1145/3055004.3055022},
timestamp = {Fri, 03 Sep 2021 09:01:40 +0200},
biburl = {https://dblp.org/rec/conf/iccps/DesaiSYQS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DesaiQ17,
author = {Ankush Desai and
Shaz Qadeer},
editor = {Shuvendu K. Lahiri and
Giles Reger},
title = {{P:} Modular and Safe Asynchronous Programming},
booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
WA, USA, September 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {3--7},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67531-2\_1},
doi = {10.1007/978-3-319-67531-2\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/DesaiQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ChenMCQI17,
author = {Shuo Chen and
Matt McCutchen and
Phuong Cao and
Shaz Qadeer and
Ravishankar K. Iyer},
editor = {Shuvendu K. Lahiri and
Giles Reger},
title = {SVAuth - {A} Single-Sign-On Integration Solution with Runtime Verification},
booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
WA, USA, September 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {349--358},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67531-2\_21},
doi = {10.1007/978-3-319-67531-2\_21},
timestamp = {Wed, 23 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ChenMCQI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fast/DeligiannisMTCD16,
author = {Pantazis Deligiannis and
Matt McCutchen and
Paul Thomson and
Shuo Chen and
Alastair F. Donaldson and
John Erickson and
Cheng Huang and
Akash Lal and
Rashmi Mudduluru and
Shaz Qadeer and
Wolfram Schulte},
editor = {Angela Demke Brown and
Florentina I. Popovici},
title = {Uncovering Bugs in Distributed Storage Systems during Testing (Not
in Production!)},
booktitle = {14th {USENIX} Conference on File and Storage Technologies, {FAST}
2016, Santa Clara, CA, USA, February 22-25, 2016},
pages = {249--262},
publisher = {{USENIX} Association},
year = {2016},
url = {https://www.usenix.org/conference/fast16/technical-sessions/presentation/deligiannis},
timestamp = {Tue, 02 Feb 2021 08:06:35 +0100},
biburl = {https://dblp.org/rec/conf/fast/DeligiannisMTCD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/McCutchenSCQ16,
author = {Matt McCutchen and
Daniel Song and
Shuo Chen and
Shaz Qadeer},
title = {Self-Verifying Execution (Position Paper)},
booktitle = {{IEEE} Cybersecurity Development, SecDev 2016, Boston, MA, USA, November
3-4, 2016},
pages = {117--123},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SecDev.2016.035},
doi = {10.1109/SECDEV.2016.035},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secdev/McCutchenSCQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BettsCDKQTW15,
author = {Adam Betts and
Nathan Chong and
Alastair F. Donaldson and
Jeroen Ketema and
Shaz Qadeer and
Paul Thomson and
John Wickerson},
title = {The Design and Implementation of a Verification Technique for {GPU}
Kernels},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {37},
number = {3},
pages = {10:1--10:49},
year = {2015},
url = {https://doi.org/10.1145/2743017},
doi = {10.1145/2743017},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BettsCDKQTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DesaiSQBE15,
author = {Ankush Desai and
Sanjit A. Seshia and
Shaz Qadeer and
David Broman and
John C. Eidson},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous
Systems},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {429--448},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_25},
doi = {10.1007/978-3-319-21668-3\_25},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/DesaiSQBE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HawblitzelPQT15,
author = {Chris Hawblitzel and
Erez Petrank and
Shaz Qadeer and
Serdar Tasiran},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Automated and Modular Refinement Reasoning for Concurrent Programs},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {449--465},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_26},
doi = {10.1007/978-3-319-21668-3\_26},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HawblitzelPQT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LalQ15,
author = {Akash Lal and
Shaz Qadeer},
editor = {David Grove and
Stephen M. Blackburn},
title = {{DAG} inlining: a decision procedure for reachability-modulo-theories
in hierarchical programs},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {280--290},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737987},
doi = {10.1145/2737924.2737987},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LalQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DesaiQS15,
author = {Ankush Desai and
Shaz Qadeer and
Sanjit A. Seshia},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Systematic testing of asynchronous reactive systems},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {73--83},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786861},
doi = {10.1145/2786805.2786861},
timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DesaiQS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ChenCQ015,
author = {Eric Yawei Chen and
Shuo Chen and
Shaz Qadeer and
Rui Wang},
title = {Securing Multiparty Online Services Via Certification of Symbolic
Transactions},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {833--849},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.56},
doi = {10.1109/SP.2015.56},
timestamp = {Sun, 01 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/ChenCQ015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HaranCELQR15,
author = {Arvind Haran and
Montgomery Carter and
Michael Emmi and
Akash Lal and
Shaz Qadeer and
Zvonimir Rakamaric},
editor = {Christel Baier and
Cesare Tinelli},
title = {SMACK+Corral: {A} Modular Verifier - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {451--454},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_42},
doi = {10.1007/978-3-662-46681-0\_42},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HaranCELQR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BardsleyBCCDDKLQ14,
author = {Ethel Bardsley and
Adam Betts and
Nathan Chong and
Peter Collingbourne and
Pantazis Deligiannis and
Alastair F. Donaldson and
Jeroen Ketema and
Daniel Liew and
Shaz Qadeer},
editor = {Armin Biere and
Roderick Bloem},
title = {Engineering a Static Verification Tool for {GPU} Kernels},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {226--242},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_15},
doi = {10.1007/978-3-319-08867-9\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BardsleyBCCDDKLQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LalQ14,
author = {Akash Lal and
Shaz Qadeer},
title = {A program transformation for faster goal-directed search},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {147--154},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987607},
doi = {10.1109/FMCAD.2014.6987607},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LalQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Qadeer14,
author = {Shaz Qadeer},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {{P:} a domain-specific language for asynchronous event-driven programming
(invited talk abstract)},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2638830},
doi = {10.1145/2632168.2638830},
timestamp = {Fri, 14 Apr 2023 23:05:44 +0200},
biburl = {https://dblp.org/rec/conf/issta/Qadeer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LalQ14,
author = {Akash Lal and
Shaz Qadeer},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Powering the static driver verifier using corral},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {202--212},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635894},
doi = {10.1145/2635868.2635894},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LalQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014psrc,
editor = {Stefan Sauer and
Manuel Wimmer and
Marcela Genero and
Shaz Qadeer},
title = {Joint Proceedings of {MODELS} 2014 Poster Session and the {ACM} Student
Research Competition {(SRC)} co-located with the 17th International
Conference on Model Driven Engineering Languages and Systems {(MODELS}
2014), Valencia, Spain, September 28 - October 3, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1258},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1258},
urn = {urn:nbn:de:0074-1258-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014psrc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CollingbourneDKQ13,
author = {Peter Collingbourne and
Alastair F. Donaldson and
Jeroen Ketema and
Shaz Qadeer},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Interleaving and Lock-Step Semantics for Analysis and Verification
of {GPU} Kernels},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {270--289},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_16},
doi = {10.1007/978-3-642-37036-6\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CollingbourneDKQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChongDKKQ13,
author = {Nathan Chong and
Alastair F. Donaldson and
Paul H. J. Kelly and
Jeroen Ketema and
Shaz Qadeer},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Barrier invariants: a shared state abstraction for the analysis of
data-dependent {GPU} kernels},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {605--622},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509517},
doi = {10.1145/2509136.2509517},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ChongDKKQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DesaiGJQRZ13,
author = {Ankush Desai and
Vivek Gupta and
Ethan K. Jackson and
Shaz Qadeer and
Sriram K. Rajamani and
Damien Zufferey},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {{P:} safe asynchronous event-driven programming},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {321--332},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462184},
doi = {10.1145/2491956.2462184},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DesaiGJQRZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/LalQ13,
author = {Akash Lal and
Shaz Qadeer},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Reachability Modulo Theories},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {23--44},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_4},
doi = {10.1007/978-3-642-41036-9\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/LalQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/0010ZCQEG13,
author = {Rui Wang and
Yuchen Zhou and
Shuo Chen and
Shaz Qadeer and
David Evans and
Yuri Gurevich},
editor = {Samuel T. King},
title = {Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication
and Authorization},
booktitle = {Proceedings of the 22th {USENIX} Security Symposium, Washington, DC,
USA, August 14-16, 2013},
pages = {399--314},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/wang\_rui},
timestamp = {Mon, 01 Feb 2021 08:42:56 +0100},
biburl = {https://dblp.org/rec/conf/uss/0010ZCQEG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2012,
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35632-2},
doi = {10.1007/978-3-642-35632-2},
isbn = {978-3-642-35631-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GopalakrishnanQ12,
author = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Preface},
journal = {Formal Methods Syst. Des.},
volume = {41},
number = {1},
pages = {3},
year = {2012},
url = {https://doi.org/10.1007/s10703-012-0148-2},
doi = {10.1007/S10703-012-0148-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/GopalakrishnanQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/QadeerT12,
author = {Shaz Qadeer and
Serdar Tasiran},
title = {Runtime verification of concurrency-specific correctness criteria},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {3},
pages = {291--305},
year = {2012},
url = {https://doi.org/10.1007/s10009-011-0210-1},
doi = {10.1007/S10009-011-0210-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/QadeerT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LalQL12,
author = {Akash Lal and
Shaz Qadeer and
Shuvendu K. Lahiri},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {A Solver for Reachability Modulo Theories},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {427--443},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_32},
doi = {10.1007/978-3-642-31424-7\_32},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LalQL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/DeviettiWSCGQ12,
author = {Joseph Devietti and
Benjamin P. Wood and
Karin Strauss and
Luis Ceze and
Dan Grossman and
Shaz Qadeer},
title = {{RADISH:} Always-on sound and complete race detection in software
and hardware},
booktitle = {39th International Symposium on Computer Architecture {(ISCA} 2012),
June 9-13, 2012, Portland, OR, {USA}},
pages = {201--212},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISCA.2012.6237018},
doi = {10.1109/ISCA.2012.6237018},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/DeviettiWSCGQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BettsCDQT12,
author = {Adam Betts and
Nathan Chong and
Alastair F. Donaldson and
Shaz Qadeer and
Paul Thomson},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {GPUVerify: a verifier for {GPU} kernels},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {113--132},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384625},
doi = {10.1145/2384616.2384625},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BettsCDQT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/EmmiLQ12,
author = {Michael Emmi and
Akash Lal and
Shaz Qadeer},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {Asynchronous programs with prioritized task-buffers},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {48},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393652},
doi = {10.1145/2393596.2393652},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/EmmiLQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-1011,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Shaz Qadeer},
title = {Context-Bounded Analysis For Concurrent Programs With Dynamic Creation
of Threads},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:4)2011},
doi = {10.2168/LMCS-7(4:4)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-1011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BallBHMQ11,
author = {Thomas Ball and
Sebastian Burckhardt and
Peli de Halleux and
Madan Musuvathi and
Shaz Qadeer},
title = {Predictable and Progressive Testing of Multithreaded Code},
journal = {{IEEE} Softw.},
volume = {28},
number = {3},
pages = {75--83},
year = {2011},
url = {https://doi.org/10.1109/MS.2010.64},
doi = {10.1109/MS.2010.64},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BallBHMQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Qadeer11,
author = {Shaz Qadeer},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Poirot - {A} Concurrency Sleuth},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {15},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_3},
doi = {10.1007/978-3-642-24559-6\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Qadeer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LahiriQ11,
author = {Shuvendu K. Lahiri and
Shaz Qadeer},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Call Invariants},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {237--251},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_18},
doi = {10.1007/978-3-642-20398-5\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LahiriQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/LahiriQW11,
author = {Shuvendu K. Lahiri and
Shaz Qadeer and
David Walker},
editor = {Ranjit Jhala and
Wouter Swierstra},
title = {Linear maps},
booktitle = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
pages = {3--14},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929529.1929531},
doi = {10.1145/1929529.1929531},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plpv/LahiriQW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EmmiQR11,
author = {Michael Emmi and
Shaz Qadeer and
Zvonimir Rakamaric},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Delay-bounded scheduling},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {411--422},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926432},
doi = {10.1145/1926385.1926432},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/EmmiQR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SadowskiBBBGMMQT11,
author = {Caitlin Sadowski and
Thomas Ball and
Judith Bishop and
Sebastian Burckhardt and
Ganesh Gopalakrishnan and
Joseph Mayo and
Madanlal Musuvathi and
Shaz Qadeer and
Stephen Toub},
editor = {Thomas J. Cortina and
Ellen Lowenfeld Walker and
Laurie A. Smith King and
David R. Musicant},
title = {Practical parallel and concurrent programming},
booktitle = {Proceedings of the 42nd {ACM} technical symposium on Computer science
education, {SIGCSE} 2011, Dallas, TX, USA, March 9-12, 2011},
pages = {189--194},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1953163.1953222},
doi = {10.1145/1953163.1953222},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/SadowskiBBBGMMQT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/WangCWQ11,
author = {Rui Wang and
Shuo Chen and
XiaoFeng Wang and
Shaz Qadeer},
title = {How to Shop for Free Online - Security Analysis of Cashier-as-a-Service
Based Web Stores},
booktitle = {32nd {IEEE} Symposium on Security and Privacy, {SP} 2011, 22-25 May
2011, Berkeley, California, {USA}},
pages = {465--480},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SP.2011.26},
doi = {10.1109/SP.2011.26},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/WangCWQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2011,
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1},
doi = {10.1007/978-3-642-22110-1},
isbn = {978-3-642-22109-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ElmasQT10,
author = {Tayfun Elmas and
Shaz Qadeer and
Serdar Tasiran},
title = {Goldilocks: a race-aware Java runtime},
journal = {Commun. {ACM}},
volume = {53},
number = {11},
pages = {85--92},
year = {2010},
url = {https://doi.org/10.1145/1839676.1839698},
doi = {10.1145/1839676.1839698},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/ElmasQT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/LuciaCSQB10,
author = {Brandon Lucia and
Luis Ceze and
Karin Strauss and
Shaz Qadeer and
Hans{-}Juergen Boehm},
editor = {Andr{\'{e}} Seznec and
Uri C. Weiser and
Ronny Ronen},
title = {Conflict exceptions: simplifying concurrent language semantics with
precise hardware exceptions for data-races},
booktitle = {37th International Symposium on Computer Architecture {(ISCA} 2010),
June 19-23, 2010, Saint-Malo, France},
pages = {210--221},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1815961.1815987},
doi = {10.1145/1815961.1815987},
timestamp = {Fri, 09 Jul 2021 15:51:20 +0200},
biburl = {https://dblp.org/rec/conf/isca/LuciaCSQB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SezginTMQ10,
author = {Ali Sezgin and
Serdar Tasiran and
Kivan{\c{c}} Muslu and
Shaz Qadeer},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Run-Time Verification of Optimistic Concurrency},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {384--398},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_29},
doi = {10.1007/978-3-642-16612-9\_29},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/SezginTMQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ElmasQSST10,
author = {Tayfun Elmas and
Shaz Qadeer and
Ali Sezgin and
Omer Subasi and
Serdar Tasiran},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Simplifying Linearizability Proofs with Reduction and Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {296--311},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_25},
doi = {10.1007/978-3-642-12002-2\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ElmasQSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallBCMQ10,
author = {Thomas Ball and
Sebastian Burckhardt and
Katherine E. Coons and
Madanlal Musuvathi and
Shaz Qadeer},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Preemption Sealing for Efficient Concurrency Testing},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {420--434},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_35},
doi = {10.1007/978-3-642-12002-2\_35},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallBCMQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LahiriMQ10,
author = {Shuvendu K. Lahiri and
Alexander Malkis and
Shaz Qadeer},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Abstract Threads},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {231--246},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_18},
doi = {10.1007/978-3-642-11319-2\_18},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LahiriMQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BallHLQV10,
author = {Thomas Ball and
Brian Hackett and
Shuvendu K. Lahiri and
Shaz Qadeer and
Julien Vanegue},
editor = {Gary T. Leavens and
Peter W. O'Hearn and
Sriram K. Rajamani},
title = {Towards Scalable Modular Checking of User-Defined Properties},
booktitle = {Verified Software: Theories, Tools, Experiments, Third International
Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6217},
pages = {1--24},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15057-9\_1},
doi = {10.1007/978-3-642-15057-9\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BallHLQV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/SezginTQ10,
author = {Ali Sezgin and
Serdar Tasiran and
Shaz Qadeer},
editor = {Gary T. Leavens and
Peter W. O'Hearn and
Sriram K. Rajamani},
title = {Tressa: Claiming the Future},
booktitle = {Verified Software: Theories, Tools, Experiments, Third International
Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6217},
pages = {25--39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15057-9\_2},
doi = {10.1007/978-3-642-15057-9\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/SezginTQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ChatterjeeLQR09,
author = {Shaunak Chatterjee and
Shuvendu K. Lahiri and
Shaz Qadeer and
Zvonimir Rakamaric},
title = {A low-level memory model and an accompanying reachability predicate},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {2},
pages = {105--116},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0098-1},
doi = {10.1007/S10009-009-0098-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ChatterjeeLQR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LahiriQ09,
author = {Shuvendu K. Lahiri and
Shaz Qadeer},
editor = {Renate A. Schmidt},
title = {Complexity and Algorithms for Monomial and Clausal Predicate Abstraction},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {214--229},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_18},
doi = {10.1007/978-3-642-02959-2\_18},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/LahiriQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LahiriQGVW09,
author = {Shuvendu K. Lahiri and
Shaz Qadeer and
Juan P. Galeotti and
Jan W. Voung and
Thomas Wies},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Intra-module Inference},
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 = {493--508},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_37},
doi = {10.1007/978-3-642-02658-4\_37},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LahiriQGVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LahiriQR09,
author = {Shuvendu K. Lahiri and
Shaz Qadeer and
Zvonimir Rakamaric},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Static and Precise Detection of Concurrency Errors in Systems Code
Using {SMT} Solvers},
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 = {509--524},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_38},
doi = {10.1007/978-3-642-02658-4\_38},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LahiriQR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BallBHMQ09,
author = {Thomas Ball and
Sebastian Burckhardt and
Jonathan de Halleux and
Madanlal Musuvathi and
Shaz Qadeer},
title = {Deconstructing concurrency heisenbugs},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {403--404},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071033},
doi = {10.1109/ICSE-COMPANION.2009.5071033},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BallBHMQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ElmasSTQ09,
author = {Tayfun Elmas and
Ali Sezgin and
Serdar Tasiran and
Shaz Qadeer},
editor = {Ganesh Gopalakrishnan and
Eitan Farchi and
Eric Mercer},
title = {An annotation assistant for interactive debugging of programs with
common synchronization idioms},
booktitle = {Proceedings of the 7th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2009, Chicago, Illinois,
USA, July 19-20, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639622.1639632},
doi = {10.1145/1639622.1639632},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ElmasSTQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ElmasQT09,
author = {Tayfun Elmas and
Shaz Qadeer and
Serdar Tasiran},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {A calculus of atomic actions},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {2--15},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480885},
doi = {10.1145/1480881.1480885},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/ElmasQT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ConditHLQ09,
author = {Jeremy Condit and
Brian Hackett and
Shuvendu K. Lahiri and
Shaz Qadeer},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {Unifying type checking and property checking for low-level code},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {302--314},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480921},
doi = {10.1145/1480881.1480921},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ConditHLQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Qadeer09,
author = {Shaz Qadeer},
editor = {Jens Palsberg and
Zhendong Su},
title = {Algorithmic Verification of Systems Software Using {SMT} Solvers},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {2},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_2},
doi = {10.1007/978-3-642-03237-0\_2},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sas/Qadeer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AtigBQ09,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Shaz Qadeer},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Context-Bounded Analysis for Concurrent Programs with Dynamic Creation
of Threads},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {107--123},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_11},
doi = {10.1007/978-3-642-00768-2\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AtigBQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9361,
editor = {Cormac Flanagan and
Madhusan Parthasarathy and
Shaz Qadeer},
title = {Design and Validation of Concurrent Systems, 30.08. - 04.09.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09361},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09361/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FlanaganGPQ09,
author = {Cormac Flanagan and
Susanne Graf and
Madhusan Parthasarathy and
Shaz Qadeer},
editor = {Cormac Flanagan and
Madhusan Parthasarathy and
Shaz Qadeer},
title = {09361 Abstracts Collection - Design and Validation of Concurrent Systems},
booktitle = {Design and Validation of Concurrent Systems, 30.08. - 04.09.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09361},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2549/},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FlanaganGPQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/TasiranSQ09,
author = {Serdar Tasiran and
Ali Sezgin and
Shaz Qadeer},
editor = {Cormac Flanagan and
Madhusan Parthasarathy and
Shaz Qadeer},
title = {Verifying Optimistic Concurrency: Prophecy Variables and Backward
Reasoning},
booktitle = {Design and Validation of Concurrent Systems, 30.08. - 04.09.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09361},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2430/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/TasiranSQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FlanaganFLQ08,
author = {Cormac Flanagan and
Stephen N. Freund and
Marina Lifshin and
Shaz Qadeer},
title = {Types for atomicity: Static checking and inference for Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {30},
number = {4},
pages = {20:1--20:53},
year = {2008},
url = {https://doi.org/10.1145/1377492.1377495},
doi = {10.1145/1377492.1377495},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FlanaganFLQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Qadeer08,
author = {Shaz Qadeer},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Taming Concurrency: {A} Program Verification Perspective},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {5},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_4},
doi = {10.1007/978-3-540-85361-9\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Qadeer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/MusuvathiQBBNN08,
author = {Madanlal Musuvathi and
Shaz Qadeer and
Thomas Ball and
G{\'{e}}rard Basler and
Piramanayagam Arumuga Nainar and
Iulian Neamtiu},
editor = {Richard Draves and
Robbert van Renesse},
title = {Finding and Reproducing Heisenbugs in Concurrent Programs},
booktitle = {8th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2008, December 8-10, 2008, San Diego, California, USA, Proceedings},
pages = {267--280},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/osdi08/tech/full\_papers/musuvathi/musuvathi.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/MusuvathiQBBNN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MusuvathiQ08,
author = {Madanlal Musuvathi and
Shaz Qadeer},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Fair stateless model checking},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {362--371},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375625},
doi = {10.1145/1375581.1375625},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MusuvathiQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LahiriQ08,
author = {Shuvendu K. Lahiri and
Shaz Qadeer},
editor = {George C. Necula and
Philip Wadler},
title = {Back to the future: revisiting precise program verification using
{SMT} solvers},
booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
pages = {171--182},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438.1328461},
doi = {10.1145/1328438.1328461},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/LahiriQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Qadeer08,
author = {Shaz Qadeer},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {The Case for Context-Bounded Verification of Concurrent Programs},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {3--6},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_2},
doi = {10.1007/978-3-540-85114-1\_2},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Qadeer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniFQ07,
author = {Ahmed Bouajjani and
S{\'{e}}verine Fratani and
Shaz Qadeer},
editor = {Werner Damm and
Holger Hermanns},
title = {Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked
Structures},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {207--220},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_24},
doi = {10.1007/978-3-540-73368-3\_24},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniFQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ElmasQT07,
author = {Tayfun Elmas and
Shaz Qadeer and
Serdar Tasiran},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Goldilocks: a race and transaction-aware java runtime},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {245--255},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250762},
doi = {10.1145/1250734.1250762},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ElmasQT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MusuvathiQ07,
author = {Madanlal Musuvathi and
Shaz Qadeer},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Iterative context bounding for systematic testing of multithreaded
programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {446--455},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250785},
doi = {10.1145/1250734.1250785},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MusuvathiQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChatterjeeLQR07,
author = {Shaunak Chatterjee and
Shuvendu K. Lahiri and
Shaz Qadeer and
Zvonimir Rakamaric},
editor = {Orna Grumberg and
Michael Huth},
title = {A Reachability Predicate for Analyzing Low-Level Software},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {19--33},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_4},
doi = {10.1007/978-3-540-71209-1\_4},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChatterjeeLQR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/ElmasQT06,
author = {Tayfun Elmas and
Shaz Qadeer and
Serdar Tasiran},
editor = {Klaus Havelund and
Manuel N{\'{u}}{\~{n}}ez and
Grigore Rosu and
Burkhart Wolff},
title = {Goldilocks: Efficiently Computing the Happens-Before Relation Using
Locksets},
booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
WA, USA, August 15-16, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4262},
pages = {193--208},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940197\_13},
doi = {10.1007/11940197\_13},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/ElmasQT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MusuvathiQ06,
author = {Madan Musuvathi and
Shaz Qadeer},
editor = {Germ{\'{a}}n Puebla},
title = {{CHESS:} Systematic Stress Testing of Concurrent Software},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {15--16},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_2},
doi = {10.1007/978-3-540-71410-1\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MusuvathiQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LahiriQ06,
author = {Shuvendu K. Lahiri and
Shaz Qadeer},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {Verifying properties of well-founded linked lists},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {115--126},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111048},
doi = {10.1145/1111037.1111048},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/LahiriQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FlanaganFQS05,
author = {Cormac Flanagan and
Stephen N. Freund and
Shaz Qadeer and
Sanjit A. Seshia},
title = {Modular verification of multithreaded programs},
journal = {Theor. Comput. Sci.},
volume = {338},
number = {1-3},
pages = {153--183},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.12.006},
doi = {10.1016/J.TCS.2004.12.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FlanaganFQS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FlanaganFQ05,
author = {Cormac Flanagan and
Stephen N. Freund and
Shaz Qadeer},
title = {Exploiting Purity for Atomicity},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {4},
pages = {275--291},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.47},
doi = {10.1109/TSE.2005.47},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FlanaganFQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ElmasTQ05,
author = {Tayfun Elmas and
Serdar Tasiran and
Shaz Qadeer},
editor = {Vivek Sarkar and
Mary W. Hall},
title = {{VYRD:} verifYing concurrent programs by runtime refinement-violation
detection},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
Language Design and Implementation, Chicago, IL, USA, June 12-15,
2005},
pages = {27--37},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065010.1065015},
doi = {10.1145/1065010.1065015},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ElmasTQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LevinPQR05,
author = {Vladimir Levin and
Robert Palmer and
Shaz Qadeer and
Sriram K. Rajamani},
editor = {Patrice Godefroid},
title = {Sound Transaction-Based Reduction Without Cycle Detection},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {106--122},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_11},
doi = {10.1007/11537328\_11},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/LevinPQR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/QadeerR05,
author = {Shaz Qadeer and
Jakob Rehof},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Context-Bounded Model Checking of Concurrent Software},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {93--107},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_7},
doi = {10.1007/978-3-540-31980-1\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/QadeerR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/FreundQ04,
author = {Stephen N. Freund and
Shaz Qadeer},
title = {Checking Concise Specifications for Multithreaded Software},
journal = {J. Object Technol.},
volume = {3},
number = {6},
pages = {81--101},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.6.a4},
doi = {10.5381/JOT.2004.3.6.A4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/FreundQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BinghamCHQZ04,
author = {Jesse D. Bingham and
Anne Condon and
Alan J. Hu and
Shaz Qadeer and
Zhichuan Zhang},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Automatic Verification of Sequential Consistency for Unbounded Addresses
and Data Values},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {427--439},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_33},
doi = {10.1007/978-3-540-27813-9\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BinghamCHQZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AndrewsQRRX04,
author = {Tony Andrews and
Shaz Qadeer and
Sriram K. Rajamani and
Jakob Rehof and
Yichen Xie},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Zing: {A} Model Checker for Concurrent Software},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {484--487},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_42},
doi = {10.1007/978-3-540-27813-9\_42},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AndrewsQRRX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AndrewsQRX04,
author = {Tony Andrews and
Shaz Qadeer and
Sriram K. Rajamani and
Yichen Xie},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Zing: Exploiting Program Structure for Model Checking Concurrent Software},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {1--15},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_1},
doi = {10.1007/978-3-540-28644-8\_1},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AndrewsQRX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FlanaganFQ04,
author = {Cormac Flanagan and
Stephen N. Freund and
Shaz Qadeer},
editor = {George S. Avrunin and
Gregg Rothermel},
title = {Exploiting purity for atomicity},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
11-14, 2004},
pages = {221--231},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007512.1007543},
doi = {10.1145/1007512.1007543},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/FlanaganFQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/QadeerW04,
author = {Shaz Qadeer and
Dinghao Wu},
editor = {William W. Pugh and
Craig Chambers},
title = {{KISS:} keep it simple and sequential},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
Language Design and Implementation 2004, Washington, DC, USA, June
9-11, 2004},
pages = {14--24},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996841.996845},
doi = {10.1145/996841.996845},
timestamp = {Mon, 04 Apr 2022 21:23:55 +0200},
biburl = {https://dblp.org/rec/conf/pldi/QadeerW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/QadeerRR04,
author = {Shaz Qadeer and
Sriram K. Rajamani and
Jakob Rehof},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Summarizing procedures in concurrent programs},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {245--255},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964022},
doi = {10.1145/964001.964022},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/QadeerRR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TasiranQ05,
author = {Serdar Tasiran and
Shaz Qadeer},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Runtime Refinement Checking of Concurrent Data Structures},
booktitle = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {113},
pages = {163--179},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.028},
doi = {10.1016/J.ENTCS.2004.01.028},
timestamp = {Fri, 16 Dec 2022 11:10:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TasiranQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HenzingerKQ03,
author = {Thomas A. Henzinger and
Orna Kupferman and
Shaz Qadeer},
title = {From Pre-Historic to Post-Modern Symbolic Model Checking},
journal = {Formal Methods Syst. Des.},
volume = {23},
number = {3},
pages = {303--327},
year = {2003},
url = {https://doi.org/10.1023/A:1026228213080},
doi = {10.1023/A:1026228213080},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/HenzingerKQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/SinghalPAQB03,
author = {Vigyan Singhal and
Carl Pixley and
Adnan Aziz and
Shaz Qadeer and
Robert K. Brayton},
title = {Sequential optimization in the absence of global reset},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {8},
number = {2},
pages = {222--251},
year = {2003},
url = {https://doi.org/10.1145/762488.762493},
doi = {10.1145/762488.762493},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/SinghalPAQB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/Qadeer03,
author = {Shaz Qadeer},
title = {Verifying Sequential Consistency on Shared-Memory Multiprocessors
by Model Checking},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {14},
number = {8},
pages = {730--741},
year = {2003},
url = {https://doi.org/10.1109/TPDS.2003.1225053},
doi = {10.1109/TPDS.2003.1225053},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/Qadeer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerJMQ03,
author = {Thomas A. Henzinger and
Ranjit Jhala and
Rupak Majumdar and
Shaz Qadeer},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Thread-Modular Abstraction Refinement},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {262--274},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_27},
doi = {10.1007/978-3-540-45069-6\_27},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HenzingerJMQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlanaganQ03,
author = {Cormac Flanagan and
Shaz Qadeer},
editor = {Ron Cytron and
Rajiv Gupta},
title = {A type and effect system for atomicity},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
Language Design and Implementation 2003, San Diego, California, USA,
June 9-11, 2003},
pages = {338--349},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/781131.781169},
doi = {10.1145/781131.781169},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlanaganQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/FlanaganQ03,
author = {Cormac Flanagan and
Shaz Qadeer},
editor = {Thomas Ball and
Sriram K. Rajamani},
title = {Thread-Modular Model Checking},
booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
OR, USA, May 9-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2648},
pages = {213--224},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44829-2\_14},
doi = {10.1007/3-540-44829-2\_14},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/FlanaganQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/FlanaganQ03,
author = {Cormac Flanagan and
Shaz Qadeer},
editor = {Zhong Shao and
Peter Lee},
title = {Types for atomicity},
booktitle = {Proceedings of TLDI'03: 2003 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, New Orleans, Louisiana,
USA, January 18, 2003},
pages = {1--12},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604174.604176},
doi = {10.1145/604174.604176},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/tldi/FlanaganQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FlanaganQ03,
author = {Cormac Flanagan and
Shaz Qadeer},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Transactions for Software Model Checking},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {518--539},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82560-5},
doi = {10.1016/S1571-0661(05)82560-5},
timestamp = {Thu, 08 Dec 2022 15:49:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FlanaganQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HenzingerQRT02,
author = {Thomas A. Henzinger and
Shaz Qadeer and
Sriram K. Rajamani and
Serdar Tasiran},
title = {An assume-guarantee rule for checking simulation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {24},
number = {1},
pages = {51--64},
year = {2002},
url = {https://doi.org/10.1145/509705.509707},
doi = {10.1145/509705.509707},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HenzingerQRT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FlanaganQS02,
author = {Cormac Flanagan and
Shaz Qadeer and
Sanjit A. Seshia},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {A Modular Checker for Multithreaded Programs},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {180--194},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_14},
doi = {10.1007/3-540-45657-0\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/FlanaganQS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FlanaganFQ02,
author = {Cormac Flanagan and
Stephen N. Freund and
Shaz Qadeer},
editor = {Daniel Le M{\'{e}}tayer},
title = {Thread-Modular Verification for Shared-Memory Programs},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {262--277},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_19},
doi = {10.1007/3-540-45927-8\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/FlanaganFQ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/QadeerT02,
author = {Shaz Qadeer and
Serdar Tasiran},
title = {Promising Directions in Hardware Design Verification (invited)},
booktitle = {3rd International Symposium on Quality of Electronic Design, {ISQED}
2002, San Jose, CA, USA, March 18-21, 2002},
pages = {381--387},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISQED.2002.996776},
doi = {10.1109/ISQED.2002.996776},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/QadeerT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlanaganQ02,
author = {Cormac Flanagan and
Shaz Qadeer},
editor = {John Launchbury and
John C. Mitchell},
title = {Predicate abstraction for software verification},
booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, OR, USA, January
16-18, 2002},
pages = {191--202},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503272.503291},
doi = {10.1145/503272.503291},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/FlanaganQ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurBHQR01,
author = {Rajeev Alur and
Robert K. Brayton and
Thomas A. Henzinger and
Shaz Qadeer and
Sriram K. Rajamani},
title = {Partial-Order Reduction in Symbolic State-Space Exploration},
journal = {Formal Methods Syst. Des.},
volume = {18},
number = {2},
pages = {97--116},
year = {2001},
url = {https://doi.org/10.1023/A:1008767206905},
doi = {10.1023/A:1008767206905},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlurBHQR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0108016,
author = {Shaz Qadeer},
title = {Verifying Sequential Consistency on Shared-Memory Multiprocessors
by Model Checking},
journal = {CoRR},
volume = {cs.DC/0108016},
year = {2001},
url = {https://arxiv.org/abs/cs/0108016},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0108016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/McMillanQS00,
author = {Kenneth L. McMillan and
Shaz Qadeer and
James B. Saxe},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Induction in Compositional Model Checking},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {312--327},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_25},
doi = {10.1007/10722167\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/McMillanQS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HenzingerQR00,
author = {Thomas A. Henzinger and
Shaz Qadeer and
Sriram K. Rajamani},
editor = {Ellen Sentovich},
title = {Decomposing Refinement Proofs Using Assume-Guarantee Reasoning},
booktitle = {Proceedings of the 2000 {IEEE/ACM} International Conference on Computer-Aided
Design, 2000, San Jose, California, USA, November 5-9, 2000},
pages = {245--252},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICCAD.2000.896481},
doi = {10.1109/ICCAD.2000.896481},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/HenzingerQR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/BarrosoGMNQSSSV00,
author = {Luiz Andr{\'{e}} Barroso and
Kourosh Gharachorloo and
Robert McNamara and
Andreas Nowatzyk and
Shaz Qadeer and
Barton Sano and
Scott Smith and
Robert Stets and
Ben Verghese},
editor = {Alan D. Berenbaum and
Joel S. Emer},
title = {Piranha: a scalable architecture based on single-chip multiprocessing},
booktitle = {27th International Symposium on Computer Architecture {(ISCA} 2000),
June 10-14, 2000, Vancouver, BC, Canada},
pages = {282--293},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ISCA.2000.854398},
doi = {10.1109/ISCA.2000.854398},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/BarrosoGMNQSSSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerQR99,
author = {Thomas A. Henzinger and
Shaz Qadeer and
Sriram K. Rajamani},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Assume-Guarantee Refinement Between Different Time Scales},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {208--221},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_20},
doi = {10.1007/3-540-48683-6\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HenzingerQR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerQR99a,
author = {Thomas A. Henzinger and
Shaz Qadeer and
Sriram K. Rajamani},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {301--315},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_27},
doi = {10.1007/3-540-48683-6\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HenzingerQR99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HenzingerLQR99,
author = {Thomas A. Henzinger and
Xiaojun Liu and
Shaz Qadeer and
Sriram K. Rajamani},
editor = {Jacob K. White and
Ellen Sentovich},
title = {Formal specification and verification of a dataflow processor array},
booktitle = {Proceedings of the 1999 {IEEE/ACM} International Conference on Computer-Aided
Design, 1999, San Jose, California, USA, November 7-11, 1999},
pages = {494--499},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICCAD.1999.810700},
doi = {10.1109/ICCAD.1999.810700},
timestamp = {Mon, 08 May 2023 21:43:38 +0200},
biburl = {https://dblp.org/rec/conf/iccad/HenzingerLQR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerKQ98,
author = {Thomas A. Henzinger and
Orna Kupferman and
Shaz Qadeer},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {From \emph{Pre}-historic to \emph{Post}-modern Symbolic Model Checking},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {195--206},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028745},
doi = {10.1007/BFB0028745},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HenzingerKQ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerQR98,
author = {Thomas A. Henzinger and
Shaz Qadeer and
Sriram K. Rajamani},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {You Assume, We Guarantee: Methodology and Case Studies},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {440--451},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028765},
doi = {10.1007/BFB0028765},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HenzingerQR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurHMQRT98,
author = {Rajeev Alur and
Thomas A. Henzinger and
Freddy Y. C. Mang and
Shaz Qadeer and
Sriram K. Rajamani and
Serdar Tasiran},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {{MOCHA:} Modularity in Model Checking},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {521--525},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028774},
doi = {10.1007/BFB0028774},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurHMQRT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HenzingerQRT98,
author = {Thomas A. Henzinger and
Shaz Qadeer and
Sriram K. Rajamani and
Serdar Tasiran},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {An Assume-Guarantee Rule for Checking Simulation},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {421--432},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_27},
doi = {10.1007/3-540-49519-3\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HenzingerQRT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/QadeerS98,
author = {Shaz Qadeer and
Natarajan Shankar},
editor = {David Gries and
Willem P. de Roever},
title = {Verifying a self-stabilizing mutual exclusion algorithm},
booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
June 1998, Shelter Island, New York, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {424--443},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
biburl = {https://dblp.org/rec/conf/procomet/QadeerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurBHQR97,
author = {Rajeev Alur and
Robert K. Brayton and
Thomas A. Henzinger and
Shaz Qadeer and
Sriram K. Rajamani},
editor = {Orna Grumberg},
title = {Partial-Order Reduction in Symbolic State Space Exploration},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {340--351},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_34},
doi = {10.1007/3-540-63166-6\_34},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurBHQR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JangQKP97,
author = {Jae{-}Young Jang and
Shaz Qadeer and
Matt Kaufmann and
Carl Pixley},
editor = {Ellen J. Yoffa and
Giovanni De Micheli and
Jan M. Rabaey},
title = {Formal Verification of {FIRE:} {A} Case Study},
booktitle = {Proceedings of the 34st Conference on Design Automation, Anaheim,
California, USA, Anaheim Convention Center, June 9-13, 1997},
pages = {173--177},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/266021.266059},
doi = {10.1145/266021.266059},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/JangQKP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/MehrotraQSBAS97,
author = {Amit Mehrotra and
Shaz Qadeer and
Vigyan Singhal and
Robert K. Brayton and
Adnan Aziz and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Ralph H. J. M. Otten and
Hiroto Yasuura},
title = {Sequential optimisation without state space exploration},
booktitle = {Proceedings of the 1997 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1997, San Jose, CA, USA, November 9-13, 1997},
pages = {208--215},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1997},
url = {https://doi.org/10.1109/ICCAD.1997.643522},
doi = {10.1109/ICCAD.1997.643522},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/MehrotraQSBAS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/MehrotraQRK97,
author = {Amit Mehrotra and
Shaz Qadeer and
Rajeev K. Ranjan and
Randy H. Katz},
title = {Benchmarking and Analysis of Architectures for {CAD} Applications},
booktitle = {Proceedings 1997 International Conference on Computer Design: {VLSI}
in Computers {\&} Processors, {ICCD} '97, Austin, Texas, USA,
October 12-15, 1997},
pages = {670--675},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICCD.1997.628937},
doi = {10.1109/ICCD.1997.628937},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/MehrotraQRK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BraytonHSSACEKKPQRSSSV96,
author = {Robert K. Brayton and
Gary D. Hachtel and
Alberto L. Sangiovanni{-}Vincentelli and
Fabio Somenzi and
Adnan Aziz and
Szu{-}Tsung Cheng and
Stephen A. Edwards and
Sunil P. Khatri and
Yuji Kukimoto and
Abelardo Pardo and
Shaz Qadeer and
Rajeev K. Ranjan and
Shaker Sarwary and
Thomas R. Shiple and
Gitanjali Swamy and
Tiziano Villa},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {{VIS:} {A} System for Verification and Synthesis},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {428--432},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_95},
doi = {10.1007/3-540-61474-5\_95},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BraytonHSSACEKKPQRSSSV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BraytonHSSACEKKPQRSSSV96,
author = {Robert K. Brayton and
Gary D. Hachtel and
Alberto L. Sangiovanni{-}Vincentelli and
Fabio Somenzi and
Adnan Aziz and
Szu{-}Tsung Cheng and
Stephen A. Edwards and
Sunil P. Khatri and
Yuji Kukimoto and
Abelardo Pardo and
Shaz Qadeer and
Rajeev K. Ranjan and
Shaker Sarwary and
Thomas R. Shiple and
Gitanjali Swamy and
Tiziano Villa},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {{VIS}},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {248--256},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031812},
doi = {10.1007/BFB0031812},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BraytonHSSACEKKPQRSSSV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/QadeerBS96,
author = {Shaz Qadeer and
Robert K. Brayton and
Vigyan Singhal},
title = {Latch Redundancy Removal Without Global Reset},
booktitle = {1996 International Conference on Computer Design {(ICCD} '96), {VLSI}
in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings},
pages = {432--439},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICCD.1996.563590},
doi = {10.1109/ICCD.1996.563590},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/QadeerBS96.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-04-10 20:59 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:
