default search action
BibTeX 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 = {Tue, 18 Jun 2024 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 = {Tue, 09 Jul 2024 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 = {Tue, 09 Jul 2024 07:54:49 +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 = {Tue, 09 Jul 2024 01:00:00 +0200}, 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, 09 Jul 2024 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, 09 Jul 2024 01:00:00 +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 = {Tue, 09 Jul 2024 01:00:00 +0200}, 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 = {Tue, 09 Jul 2024 01:00:00 +0200}, 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, 09 Jul 2024 07:54:49 +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} }
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.