Shaz Qadeer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
91
Venues
27
Active years
1996–2026
Best venue rank
A*
Where they publish
- A*CAV23 papers
- A*PLDI10 papers
- ATACAS7 papers
- A*POPL7 papers
- BFMCAD5 papers
- AESOP3 papers
- BCONCUR3 papers
- BRV3 papers
- AISSTA3 papers
- A*ISCA3 papers
- AICCAD3 papers
- ACADE2 papers
- BSAS2 papers
- A*SP2 papers
- AOOPSLA2 papers
- CICCD2 papers
- BCLOUD1 paper
- A*ICRA1 paper
- CISoLA1 paper
- AFAST1 paper
- CICFEM1 paper
- ASIGCSE1 paper
- BVMCAI1 paper
- A*ICSE1 paper
- A*OSDI1 paper
- CLOPSTR1 paper
- A*DAC1 paper
Papers
91 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Reduction for Structured Concurrent Programs. | Namratha Gangamreddypalli, Constantin Enea, Shaz Qadeer |
| 2022 | CADE | Reasoning About Vectors Using an SMT Theory of Sequences. | Ying Sheng, Andres Ntzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli |
| 2022 | TACAS | Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. | David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong |
| 2021 | CLOUD | Building Reliable Cloud Services Using Coyote Actors. | Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer |
| 2021 | FMCAD | The Civl Verifier. | Bernhard Kragl, Shaz Qadeer |
| 2020 | CAV | Refinement for Structured Concurrent Programs. | Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger |
| 2020 | CAV | The Move Prover. | Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill |
| 2020 | PLDI | Inductive sequentialization of asynchronous programs. | Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer |
| 2020 | PLDI | Armada: low-effort verification of high-performance concurrent programs. | Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao |
| 2020 | SAS | Exact and Linear-Time Gas-Cost Analysis. | Ankush Das, Shaz Qadeer |
| 2018 | CAV | On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony. | Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer |
| 2018 | CAV | Layered Concurrent Programs. | Bernhard Kragl, Shaz Qadeer |
| 2018 | CONCUR | Synchronizing the Asynchronous. | Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger |
| 2018 | ICRA | Verifying Controllers Against Adversarial Examples with Bayesian Optimization. | Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor |
| 2018 | ISoLA | Programming Safe Robotics Systems: Challenges and Advances. | Ankush Desai, Shaz Qadeer, Sanjit A. Seshia |
| 2017 | FMCAD | Lasso detection using partial-state caching. | Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer |
| 2017 | RV | SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. | Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer |
| 2017 | RV | P: Modular and Safe Asynchronous Programming. | Ankush Desai, Shaz Qadeer |
| 2016 | FAST | Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). | Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte |
| 2015 | CAV | Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. | Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson |
| 2015 | CAV | Automated and Modular Refinement Reasoning for Concurrent Programs. | Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran |
| 2015 | PLDI | DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs. | Akash Lal, Shaz Qadeer |
| 2015 | SP | Securing Multiparty Online Services Via Certification of Symbolic Transactions. | Eric Yawei Chen, Shuo Chen, Shaz Qadeer, Rui Wang |
| 2015 | TACAS | SMACK+Corral: A Modular Verifier - (Competition Contribution). | Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric |
| 2014 | CAV | Engineering a Static Verification Tool for GPU Kernels. | Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer |
| 2014 | FMCAD | A program transformation for faster goal-directed search. | Akash Lal, Shaz Qadeer |
| 2014 | ISSTA | P: a domain-specific language for asynchronous event-driven programming (invited talk abstract). | Shaz Qadeer |
| 2013 | ESOP | Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. | Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer |
| 2013 | OOPSLA | Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. | Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer |
| 2013 | PLDI | P: safe asynchronous event-driven programming. | Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey |
| 2012 | CAV | A Solver for Reachability Modulo Theories. | Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri |
| 2012 | ISCA | RADISH: Always-on sound and complete race detection in software and hardware. | Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer |
| 2012 | OOPSLA | GPUVerify: a verifier for GPU kernels. | Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson |
| 2011 | ICFEM | Poirot - A Concurrency Sleuth. | Shaz Qadeer |
| 2011 | POPL | Delay-bounded scheduling. | Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric |
| 2011 | SIGCSE | Practical parallel and concurrent programming. | Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub |
| 2011 | SP | How to Shop for Free Online - Security Analysis of Cashier-as-a-Service Based Web Stores. | Rui Wang, Shuo Chen, XiaoFeng Wang, Shaz Qadeer |
| 2010 | ISCA | Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races. | Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm |
| 2010 | RV | Run-Time Verification of Optimistic Concurrency. | Ali Sezgin, Serdar Tasiran, Kivan Muslu, Shaz Qadeer |
| 2010 | TACAS | Preemption Sealing for Efficient Concurrency Testing. | Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer |
| 2010 | TACAS | Simplifying Linearizability Proofs with Reduction and Abstraction. | Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran |
| 2010 | VMCAI | Abstract Threads. | Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer |
| 2009 | CADE | Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. | Shuvendu K. Lahiri, Shaz Qadeer |
| 2009 | CAV | Intra-module Inference. | Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies |
| 2009 | CAV | Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. | Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
| 2009 | ICSE | Deconstructing concurrency heisenbugs. | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer |
| 2009 | ISSTA | An annotation assistant for interactive debugging of programs with common synchronization idioms. | Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer |
| 2009 | POPL | Unifying type checking and property checking for low-level code. | Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer |
| 2009 | POPL | A calculus of atomic actions. | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
| 2009 | SAS | Algorithmic Verification of Systems Software Using SMT Solvers. | Shaz Qadeer |
| 2009 | TACAS | Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. | Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer |
| 2008 | CONCUR | Taming Concurrency: A Program Verification Perspective. | Shaz Qadeer |
| 2008 | OSDI | Finding and Reproducing Heisenbugs in Concurrent Programs. | Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Grard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu |
| 2008 | PLDI | Fair stateless model checking. | Madanlal Musuvathi, Shaz Qadeer |
| 2008 | POPL | Back to the future: revisiting precise program verification using SMT solvers. | Shuvendu K. Lahiri, Shaz Qadeer |
| 2007 | CAV | Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. | Ahmed Bouajjani, Sverine Fratani, Shaz Qadeer |
| 2007 | PLDI | Goldilocks: a race and transaction-aware java runtime. | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
| 2007 | PLDI | Iterative context bounding for systematic testing of multithreaded programs. | Madanlal Musuvathi, Shaz Qadeer |
| 2007 | TACAS | A Reachability Predicate for Analyzing Low-Level Software. | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
| 2006 | LOPSTR | CHESS: Systematic Stress Testing of Concurrent Software. | Madan Musuvathi, Shaz Qadeer |
| 2006 | POPL | Verifying properties of well-founded linked lists. | Shuvendu K. Lahiri, Shaz Qadeer |
| 2005 | PLDI | VYRD: verifYing concurrent programs by runtime refinement-violation detection. | Tayfun Elmas, Serdar Tasiran, Shaz Qadeer |
| 2005 | TACAS | Context-Bounded Model Checking of Concurrent Software. | Shaz Qadeer, Jakob Rehof |
| 2004 | CAV | Zing: A Model Checker for Concurrent Software. | Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie |
| 2004 | CAV | Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. | Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang |
| 2004 | CONCUR | Zing: Exploiting Program Structure for Model Checking Concurrent Software. | Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie |
| 2004 | ISSTA | Exploiting purity for atomicity. | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
| 2004 | PLDI | KISS: keep it simple and sequential. | Shaz Qadeer, Dinghao Wu |
| 2004 | POPL | Summarizing procedures in concurrent programs. | Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof |
| 2003 | CAV | Thread-Modular Abstraction Refinement. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer |
| 2003 | PLDI | A type and effect system for atomicity. | Cormac Flanagan, Shaz Qadeer |
| 2002 | CAV | A Modular Checker for Multithreaded Programs. | Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia |
| 2002 | ESOP | Thread-Modular Verification for Shared-Memory Programs. | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
| 2002 | POPL | Predicate abstraction for software verification. | Cormac Flanagan, Shaz Qadeer |
| 2000 | CAV | Induction in Compositional Model Checking. | Kenneth L. McMillan, Shaz Qadeer, James B. Saxe |
| 2000 | ICCAD | Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 2000 | ISCA | Piranha: a scalable architecture based on single-chip multiprocessing. | Luiz Andr Barroso, Kourosh Gharachorloo, Robert McNamara, Andreas Nowatzyk, Shaz Qadeer, Barton Sano, Scott Smith, Robert Stets, Ben Verghese |
| 1999 | CAV | Assume-Guarantee Refinement Between Different Time Scales. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1999 | CAV | Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1999 | ICCAD | Formal specification and verification of a dataflow processor array. | Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani |
| 1998 | CAV | MOCHA: Modularity in Model Checking. | Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
| 1998 | CAV | From | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer |
| 1998 | CAV | You Assume, We Guarantee: Methodology and Case Studies. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1998 | FMCAD | An Assume-Guarantee Rule for Checking Simulation. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
| 1997 | CAV | Partial-Order Reduction in Symbolic State Space Exploration. | Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1997 | DAC | Formal Verification of FIRE: A Case Study. | Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley |
| 1997 | ICCAD | Sequential optimisation without state space exploration. | Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCD | Benchmarking and Analysis of Architectures for CAD Applications. | Amit Mehrotra, Shaz Qadeer, Rajeev K. Ranjan, Randy H. Katz |
| 1996 | CAV | VIS: A System for Verification and Synthesis. | 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 |
| 1996 | FMCAD | VIS. | 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 |
| 1996 | ICCD | Latch Redundancy Removal Without Global Reset. | Shaz Qadeer, Robert K. Brayton, Vigyan Singhal |