Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Shaz Qadeer
2010 – today
- 2013
[c75]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- [c74]Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey: P: safe asynchronous event-driven programming. PLDI 2013: 321-332
- [e2]Shaz Qadeer, Serdar Tasiran (Eds.): 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
- 2012
- [j17]
- [j16]Shaz Qadeer, Serdar Tasiran: Runtime verification of concurrency-specific correctness criteria. STTT 14(3): 291-305 (2012)
- [c73]Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri: A Solver for Reachability Modulo Theories. CAV 2012: 427-443
- [c72]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
- [c71]Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson: GPUVerify: a verifier for GPU kernels. OOPSLA 2012: 113-132
- [c70]Michael Emmi, Akash Lal, Shaz Qadeer: Asynchronous programs with prioritized task-buffers. SIGSOFT FSE 2012: 48
- 2011
- [j15]Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer: Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads. Logical Methods in Computer Science 7(4) (2011)
- [j14]Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer: Predictable and Progressive Testing of Multithreaded Code. IEEE Software 28(3): 75-83 (2011)
- [c69]
- [c68]
- [c67]
- [c66]
- [c65]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
- [c64]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
- [e1]Ganesh Gopalakrishnan, Shaz Qadeer (Eds.): 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
- 2010
- [j13]Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: a race-aware Java runtime. Commun. ACM 53(11): 85-92 (2010)
- [c63]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
- [c62]Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer: Run-Time Verification of Optimistic Concurrency. RV 2010: 384-398
- [c61]Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran: Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS 2010: 296-311
- [c60]Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer: Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434
- [c59]
- [c58]Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue: Towards Scalable Modular Checking of User-Defined Properties. VSTTE 2010: 1-24
- [c57]
2000 – 2009
- 2009
- [j12]Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: A low-level memory model and an accompanying reachability predicate. STTT 11(2): 105-116 (2009)
- [c56]Shuvendu K. Lahiri, Shaz Qadeer: Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. CADE 2009: 214-229
- [c55]Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies: Intra-module Inference. CAV 2009: 493-508
- [c54]Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV 2009: 509-524
- [c53]Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
- [c52]Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer: An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD 2009
- [c51]
- [c50]Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer: Unifying type checking and property checking for low-level code. POPL 2009: 302-314
- [c49]
- [c48]Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer: Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. TACAS 2009: 107-123
- 2008
- [j11]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) (2008)
- [c47]
- [c46]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
- [c45]
- [c44]Shuvendu K. Lahiri, Shaz Qadeer: Back to the future: revisiting precise program verification using SMT solvers. POPL 2008: 171-182
- [c43]
- 2007
- [c42]Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer: Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. CAV 2007: 207-220
- [c41]Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: a race and transaction-aware java runtime. PLDI 2007: 245-255
- [c40]Madanlal Musuvathi, Shaz Qadeer: Iterative context bounding for systematic testing of multithreaded programs. PLDI 2007: 446-455
- [c39]Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: A Reachability Predicate for Analyzing Low-Level Software. TACAS 2007: 19-33
- 2006
- [c38]Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV 2006: 193-208
- [c37]Madan Musuvathi, Shaz Qadeer: CHESS: Systematic Stress Testing of Concurrent Software. LOPSTR 2006: 15-16
- [c36]Shuvendu K. Lahiri, Shaz Qadeer: Verifying properties of well-founded linked lists. POPL 2006: 115-126
- 2005
- [j10]Serdar Tasiran, Shaz Qadeer: Runtime Refinement Checking of Concurrent Data Structures. Electr. Notes Theor. Comput. Sci. 113: 163-179 (2005)
- [j9]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia: Modular verification of multithreaded programs. Theor. Comput. Sci. 338(1-3): 153-183 (2005)
- [j8]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
- [c35]Tayfun Elmas, Serdar Tasiran, Shaz Qadeer: VYRD: verifYing concurrent programs by runtime refinement-violation detection. PLDI 2005: 27-37
- [c34]Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani: Sound Transaction-Based Reduction Without Cycle Detection. SPIN 2005: 106-122
- [c33]
- 2004
- [j7]Stephen N. Freund, Shaz Qadeer: Checking Concise Specifications for Multithreaded Software. Journal of Object Technology 3(6): 81-101 (2004)
- [c32]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
- [c31]Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie: Zing: A Model Checker for Concurrent Software. CAV 2004: 484-487
- [c30]Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie: Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR 2004: 1-15
- [c29]Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting purity for atomicity. ISSTA 2004: 221-231
- [c28]
- [c27]Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof: Summarizing procedures in concurrent programs. POPL 2004: 245-255
- 2003
- [j6]Cormac Flanagan, Shaz Qadeer: Transactions for Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): 518-539 (2003)
- [j5]Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer: From Pre-Historic to Post-Modern Symbolic Model Checking. Formal Methods in System Design 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 Distrib. Syst. 14(8): 730-741 (2003)
- [c26]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274
- [c25]
- [c24]
- [c23]
- 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]
- 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 in System Design 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-10 22:51 CEST by the dblp team