default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShaz Qadeer
Person information
- affiliation: Microsoft Research, Redmond
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
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]