![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Shaz Qadeer
Person information
- affiliation: Microsoft Research, Redmond
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j19]Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett
, Cesare Tinelli:
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences. J. Autom. Reason. 67(3): 32 (2023) - 2022
- [j18]Jacob R. Lorch
, Yixuan Chen
, Manos Kapritsos
, Haojun Ma
, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao:
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Trans. Program. Lang. Syst. 44(2): 12:1-12:39 (2022) - [c110]Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett
, Cesare Tinelli:
Reasoning About Vectors Using an SMT Theory of Sequences. IJCAR 2022: 125-143 - [c109]David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong:
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. TACAS (1) 2022: 183-200 - [i10]Sam Blackshear, John C. Mitchell, Todd Nowacki, Shaz Qadeer:
The Move Borrow Checker. CoRR abs/2205.05181 (2022) - [i9]Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
:
Reasoning About Vectors using an SMT Theory of Sequences. CoRR abs/2205.08095 (2022) - 2021
- [c108]Pantazis Deligiannis
, Narayanan Ganapathy, Akash Lal, Shaz Qadeer:
Building Reliable Cloud Services Using Coyote Actors. SoCC 2021: 108-121 - [c107]Bernhard Kragl
, Shaz Qadeer:
The Civl Verifier. FMCAD 2021: 143-152 - [i8]David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong:
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. CoRR abs/2110.08362 (2021) - 2020
- [c106]Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett
, David L. Dill:
The Move Prover. CAV (1) 2020: 137-150 - [c105]Bernhard Kragl
, Shaz Qadeer, Thomas A. Henzinger
:
Refinement for Structured Concurrent Programs. CAV (1) 2020: 275-298 - [c104]Jacob R. Lorch, Yixuan Chen
, Manos Kapritsos
, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao:
Armada: low-effort verification of high-performance concurrent programs. PLDI 2020: 197-210 - [c103]Bernhard Kragl
, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer:
Inductive sequentialization of asynchronous programs. PLDI 2020: 227-242 - [c102]Ankush Das
, Shaz Qadeer:
Exact and Linear-Time Gas-Cost Analysis. SAS 2020: 333-356 - [d1]Bernhard Kragl
, Constantin Enea
, Thomas A. Henzinger
, Suha Orhun Mutluergil
, Shaz Qadeer:
Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact). Zenodo, 2020 - [i7]Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer:
Building Reliable Cloud Services Using P# (Experience Report). CoRR abs/2002.04903 (2020) - [i6]Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon, Yoni Zohar:
Resources: A Safe Language Abstraction for Money. CoRR abs/2004.05106 (2020)
2010 – 2019
- 2018
- [j17]Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit A. Seshia:
Compositional programming and testing of dynamic distributed systems. Proc. ACM Program. Lang. 2(OOPSLA): 159:1-159:30 (2018) - [c101]Bernhard Kragl
, Shaz Qadeer:
Layered Concurrent Programs. CAV (1) 2018: 79-102 - [c100]Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer:
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony. CAV (2) 2018: 372-391 - [c99]Bernhard Kragl
, Shaz Qadeer, Thomas A. Henzinger:
Synchronizing the Asynchronous. CONCUR 2018: 21:1-21:17 - [c98]Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor:
Verifying Controllers Against Adversarial Examples with Bayesian Optimization. ICRA 2018: 7306-7313 - [c97]Ankush Desai, Shaz Qadeer, Sanjit A. Seshia:
Programming Safe Robotics Systems: Challenges and Advances. ISoLA (2) 2018: 103-119 - [p1]Aarti Gupta, Vineet Kahlon, Shaz Qadeer, Tayssir Touili:
Model Checking Concurrent Programs. Handbook of Model Checking 2018: 573-611 - [i5]Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor:
Verifying Controllers Against Adversarial Examples with Bayesian Optimization. CoRR abs/1802.08678 (2018) - [i4]Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer:
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony. CoRR abs/1804.06612 (2018) - 2017
- [c96]Rashmi Mudduluru, Pantazis Deligiannis
, Ankush Desai, Akash Lal, Shaz Qadeer:
Lasso detection using partial-state caching. FMCAD 2017: 84-91 - [c95]Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia:
DRONA: a framework for safe distributed mobile robotics. ICCPS 2017: 239-248 - [c94]Ankush Desai, Shaz Qadeer:
P: Modular and Safe Asynchronous Programming. RV 2017: 3-7 - [c93]Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer:
SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. RV 2017: 349-358 - 2016
- [c92]Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte:
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST 2016: 249-262 - [c91]Matt McCutchen
, Daniel Song, Shuo Chen, Shaz Qadeer:
Self-Verifying Execution (Position Paper). SecDev 2016: 117-123 - 2015
- [j16]Adam Betts, Nathan Chong
, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson:
The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. 37(3): 10:1-10:49 (2015) - [c90]Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson:
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. CAV (2) 2015: 429-448 - [c89]Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran:
Automated and Modular Refinement Reasoning for Concurrent Programs. CAV (2) 2015: 449-465 - [c88]Akash Lal, Shaz Qadeer:
DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs. PLDI 2015: 280-290 - [c87]Ankush Desai, Shaz Qadeer, Sanjit A. Seshia:
Systematic testing of asynchronous reactive systems. ESEC/SIGSOFT FSE 2015: 73-83 - [c86]Eric Yawei Chen, Shuo Chen, Shaz Qadeer, Rui Wang:
Securing Multiparty Online Services Via Certification of Symbolic Transactions. IEEE Symposium on Security and Privacy 2015: 833-849 - [c85]Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric:
SMACK+Corral: A Modular Verifier - (Competition Contribution). TACAS 2015: 451-454 - 2014
- [c84]Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis
, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer:
Engineering a Static Verification Tool for GPU Kernels. CAV 2014: 226-242 - [c83]Akash Lal, Shaz Qadeer:
A program transformation for faster goal-directed search. FMCAD 2014: 147-154 - [c82]Shaz Qadeer:
P: a domain-specific language for asynchronous event-driven programming (invited talk abstract). WODA+PERTEA@ISSTA 2014: 8 - [c81]Akash Lal, Shaz Qadeer:
Powering the static driver verifier using corral. SIGSOFT FSE 2014: 202-212 - [e4]Stefan Sauer, Manuel Wimmer, Marcela Genero, Shaz Qadeer:
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. CEUR Workshop Proceedings 1258, CEUR-WS.org 2014 [contents] - 2013
- [c80]Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer:
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. ESOP 2013: 270-289 - [c79]Nathan Chong
, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer:
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA 2013: 605-622 - [c78]Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey:
P: safe asynchronous event-driven programming. PLDI 2013: 321-332 - [c77]Akash Lal, Shaz Qadeer:
Reachability Modulo Theories. RP 2013: 23-44 - [c76]Rui Wang, Yuchen Zhou, Shuo Chen, Shaz Qadeer, David Evans, Yuri Gurevich:
Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization. USENIX Security Symposium 2013: 399-314 - [e3]Shaz Qadeer, Serdar Tasiran:
Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7687, Springer 2013, ISBN 978-3-642-35631-5 [contents] - 2012
- [j15]Ganesh Gopalakrishnan, Shaz Qadeer:
Preface. Formal Methods Syst. Des. 41(1): 3 (2012) - [j14]Shaz Qadeer, Serdar Tasiran:
Runtime verification of concurrency-specific correctness criteria. Int. J. Softw. Tools Technol. Transf. 14(3): 291-305 (2012) - [c75]Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri:
A Solver for Reachability Modulo Theories. CAV 2012: 427-443 - [c74]Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer:
RADISH: Always-on sound and complete race detection in software and hardware. ISCA 2012: 201-212 - [c73]Adam Betts, Nathan Chong
, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson:
GPUVerify: a verifier for GPU kernels. OOPSLA 2012: 113-132 - [c72]Michael Emmi, Akash Lal, Shaz Qadeer:
Asynchronous programs with prioritized task-buffers. SIGSOFT FSE 2012: 48 - 2011
- [j13]Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer:
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads. Log. Methods Comput. Sci. 7(4) (2011) - [j12]Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer:
Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. 28(3): 75-83 (2011) - [c71]Shaz Qadeer:
Poirot - A Concurrency Sleuth. ICFEM 2011: 15 - [c70]Shuvendu K. Lahiri, Shaz Qadeer:
Call Invariants. NASA Formal Methods 2011: 237-251 - [c69]Shuvendu K. Lahiri, Shaz Qadeer, David Walker
:
Linear maps. PLPV 2011: 3-14 - [c68]Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric:
Delay-bounded scheduling. POPL 2011: 411-422 - [c67]Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub:
Practical parallel and concurrent programming. SIGCSE 2011: 189-194 - [c66]Rui Wang, Shuo Chen, XiaoFeng Wang, Shaz Qadeer:
How to Shop for Free Online - Security Analysis of Cashier-as-a-Service Based Web Stores. IEEE Symposium on Security and Privacy 2011: 465-480 - [e2]Ganesh Gopalakrishnan, Shaz Qadeer:
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Lecture Notes in Computer Science 6806, Springer 2011, ISBN 978-3-642-22109-5 [contents] - 2010
- [j11]Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
Goldilocks: a race-aware Java runtime. Commun. ACM 53(11): 85-92 (2010) - [c65]Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm:
Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races. ISCA 2010: 210-221 - [c64]Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer:
Run-Time Verification of Optimistic Concurrency. RV 2010: 384-398 - [c63]Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran:
Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS 2010: 296-311 - [c62]Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer:
Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434 - [c61]Shuvendu K. Lahiri, Alexander Malkis
, Shaz Qadeer:
Abstract Threads. VMCAI 2010: 231-246 - [c60]Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue:
Towards Scalable Modular Checking of User-Defined Properties. VSTTE 2010: 1-24 - [c59]Ali Sezgin, Serdar Tasiran, Shaz Qadeer:
Tressa: Claiming the Future. VSTTE 2010: 25-39
2000 – 2009
- 2009
- [j10]Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
A low-level memory model and an accompanying reachability predicate. Int. J. Softw. Tools Technol. Transf. 11(2): 105-116 (2009) - [c58]Shuvendu K. Lahiri, Shaz Qadeer:
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. CADE 2009: 214-229 - [c57]Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies:
Intra-module Inference. CAV 2009: 493-508 - [c56]Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV 2009: 509-524 - [c55]Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer:
Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404 - [c54]Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer:
An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD 2009 - [c53]Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
A calculus of atomic actions. POPL 2009: 2-15 - [c52]Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer:
Unifying type checking and property checking for low-level code. POPL 2009: 302-314 - [c51]Shaz Qadeer:
Algorithmic Verification of Systems Software Using SMT Solvers. SAS 2009: 2 - [c50]Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer:
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. TACAS 2009: 107-123 - [e1]Cormac Flanagan, Madhusan Parthasarathy, Shaz Qadeer:
Design and Validation of Concurrent Systems, 30.08. - 04.09.2009. Dagstuhl Seminar Proceedings 09361, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i3]Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer:
09361 Abstracts Collection - Design and Validation of Concurrent Systems. Design and Validation of Concurrent Systems 2009 - [i2]Serdar Tasiran, Ali Sezgin, Shaz Qadeer:
Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning. Design and Validation of Concurrent Systems 2009 - 2008
- [j9]Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer:
Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst. 30(4): 20:1-20:53 (2008) - [c49]Shaz Qadeer:
Taming Concurrency: A Program Verification Perspective. CONCUR 2008: 5 - [c48]Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu:
Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI 2008: 267-280 - [c47]Madanlal Musuvathi, Shaz Qadeer:
Fair stateless model checking. PLDI 2008: 362-371 - [c46]Shuvendu K. Lahiri, Shaz Qadeer:
Back to the future: revisiting precise program verification using SMT solvers. POPL 2008: 171-182 - [c45]Shaz Qadeer:
The Case for Context-Bounded Verification of Concurrent Programs. SPIN 2008: 3-6 - 2007
- [c44]Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer:
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. CAV 2007: 207-220 - [c43]Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
Goldilocks: a race and transaction-aware java runtime. PLDI 2007: 245-255 - [c42]Madanlal Musuvathi, Shaz Qadeer:
Iterative context bounding for systematic testing of multithreaded programs. PLDI 2007: 446-455 - [c41]Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
A Reachability Predicate for Analyzing Low-Level Software. TACAS 2007: 19-33 - 2006
- [c40]Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV 2006: 193-208 - [c39]Madan Musuvathi, Shaz Qadeer:
CHESS: Systematic Stress Testing of Concurrent Software. LOPSTR 2006: 15-16 - [c38]Shuvendu K. Lahiri, Shaz Qadeer:
Verifying properties of well-founded linked lists. POPL 2006: 115-126 - 2005
- [j8]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia:
Modular verification of multithreaded programs. Theor. Comput. Sci. 338(1-3): 153-183 (2005) - [j7]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005) - [c37]Tayfun Elmas, Serdar Tasiran, Shaz Qadeer:
VYRD: verifYing concurrent programs by runtime refinement-violation detection. PLDI 2005: 27-37 - [c36]Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani:
Sound Transaction-Based Reduction Without Cycle Detection. SPIN 2005: 106-122 - [c35]Shaz Qadeer, Jakob Rehof:
Context-Bounded Model Checking of Concurrent Software. TACAS 2005: 93-107 - 2004
- [j6]Stephen N. Freund, Shaz Qadeer:
Checking Concise Specifications for Multithreaded Software. J. Object Technol. 3(6): 81-101 (2004) - [c34]Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang:
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. CAV 2004: 427-439 - [c33]Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie:
Zing: A Model Checker for Concurrent Software. CAV 2004: 484-487 - [c32]Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie:
Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR 2004: 1-15 - [c31]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Exploiting purity for atomicity. ISSTA 2004: 221-231 - [c30]Shaz Qadeer, Dinghao Wu:
KISS: keep it simple and sequential. PLDI 2004: 14-24 - [c29]Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof:
Summarizing procedures in concurrent programs. POPL 2004: 245-255 - [c28]Serdar Tasiran, Shaz Qadeer:
Runtime Refinement Checking of Concurrent Data Structures. RV@ETAPS 2004: 163-179 - 2003
- [j5]Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer:
From Pre-Historic to Post-Modern Symbolic Model Checking. Formal Methods Syst. Des. 23(3): 303-327 (2003) - [j4]Vigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton:
Sequential optimization in the absence of global reset. ACM Trans. Design Autom. Electr. Syst. 8(2): 222-251 (2003) - [j3]Shaz Qadeer:
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking. IEEE Trans. Parallel Distributed Syst. 14(8): 730-741 (2003) - [c27]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer:
Thread-Modular Abstraction Refinement. CAV 2003: 262-274 - [c26]Cormac Flanagan, Shaz Qadeer:
A type and effect system for atomicity. PLDI 2003: 338-349 - [c25]Cormac Flanagan, Shaz Qadeer:
Thread-Modular Model Checking. SPIN 2003: 213-224 - [c24]Cormac Flanagan, Shaz Qadeer:
Types for atomicity. TLDI 2003: 1-12 - [c23]Cormac Flanagan, Shaz Qadeer:
Transactions for Software Model Checking. SoftMC@CAV 2003: 518-539 - 2002
- [j2]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
An assume-guarantee rule for checking simulation. ACM Trans. Program. Lang. Syst. 24(1): 51-64 (2002) - [c22]Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia:
A Modular Checker for Multithreaded Programs. CAV 2002: 180-194 - [c21]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277 - [c20]Shaz Qadeer, Serdar Tasiran:
Promising Directions in Hardware Design Verification (invited). ISQED 2002: 381-387 - [c19]Cormac Flanagan, Shaz Qadeer:
Predicate abstraction for software verification. POPL 2002: 191-202 - 2001
- [j1]Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods Syst. Des. 18(2): 97-116 (2001) - [i1]Shaz Qadeer:
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking. CoRR cs.DC/0108016 (2001) - 2000
- [c18]Kenneth L. McMillan, Shaz Qadeer, James B. Saxe:
Induction in Compositional Model Checking. CAV 2000: 312-327 - [c17]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. ICCAD 2000: 245-252 - [c16]Luiz André Barroso, Kourosh Gharachorloo, Robert McNamara, Andreas Nowatzyk, Shaz Qadeer, Barton Sano, Scott Smith, Robert Stets, Ben Verghese:
Piranha: a scalable architecture based on single-chip multiprocessing. ISCA 2000: 282-293
1990 – 1999
- 1999
- [c15]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Assume-Guarantee Refinement Between Different Time Scales. CAV 1999: 208-221 - [c14]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV 1999: 301-315 - [c13]Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani:
Formal specification and verification of a dataflow processor array. ICCAD 1999: 494-499 - 1998
- [c12]Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer:
From Pre-historic to Post-modern Symbolic Model Checking. CAV 1998: 195-206 - [c11]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
You Assume, We Guarantee: Methodology and Case Studies. CAV 1998: 440-451 - [c10]Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
MOCHA: Modularity in Model Checking. CAV 1998: 521-525 - [c9]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
An Assume-Guarantee Rule for Checking Simulation. FMCAD 1998: 421-432 - [c8]Shaz Qadeer, Natarajan Shankar:
Verifying a self-stabilizing mutual exclusion algorithm. PROCOMET 1998: 424-443 - 1997
- [c7]Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State Space Exploration. CAV 1997: 340-351 - [c6]Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley:
Formal Verification of FIRE: A Case Study. DAC 1997: 173-177 - [c5]Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli:
Sequential optimisation without state space exploration. ICCAD 1997: 208-215 - [c4]Amit Mehrotra, Shaz Qadeer, Rajeev K. Ranjan, Randy H. Katz:
Benchmarking and Analysis of Architectures for CAD Applications. ICCD 1997: 670-675 - 1996
- [c3]Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards
, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo
, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa:
VIS: A System for Verification and Synthesis. CAV 1996: 428-432 - [c2]Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards
, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo
, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa:
VIS. FMCAD 1996: 248-256 - [c1]Shaz Qadeer, Robert K. Brayton, Vigyan Singhal:
Latch Redundancy Removal Without Global Reset. ICCD 1996: 432-439
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-10 20:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint