2009 |
63 | EE | Tayfun Elmas,
Shaz Qadeer,
Serdar Tasiran:
A calculus of atomic actions.
POPL 2009: 2-15 |
62 | EE | Jeremy Condit,
Brian Hackett,
Shuvendu K. Lahiri,
Shaz Qadeer:
Unifying type checking and property checking for low-level code.
POPL 2009: 302-314 |
61 | EE | Mohamed Faouzi Atig,
Ahmed Bouajjani,
Shaz Qadeer:
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.
TACAS 2009: 107-123 |
2008 |
60 | EE | Shaz Qadeer:
Taming Concurrency: A Program Verification Perspective.
CONCUR 2008: 5 |
59 | EE | 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 |
58 | EE | Madanlal Musuvathi,
Shaz Qadeer:
Fair stateless model checking.
PLDI 2008: 362-371 |
57 | EE | Shuvendu K. Lahiri,
Shaz Qadeer:
Back to the future: revisiting precise program verification using SMT solvers.
POPL 2008: 171-182 |
56 | EE | Shaz Qadeer:
The Case for Context-Bounded Verification of Concurrent Programs.
SPIN 2008: 3-6 |
55 | EE | 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) |
2007 |
54 | EE | Ahmed Bouajjani,
Séverine Fratani,
Shaz Qadeer:
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures.
CAV 2007: 207-220 |
53 | EE | Tayfun Elmas,
Shaz Qadeer,
Serdar Tasiran:
Goldilocks: a race and transaction-aware java runtime.
PLDI 2007: 245-255 |
52 | EE | Madanlal Musuvathi,
Shaz Qadeer:
Iterative context bounding for systematic testing of multithreaded programs.
PLDI 2007: 446-455 |
51 | EE | Shaunak Chatterjee,
Shuvendu K. Lahiri,
Shaz Qadeer,
Zvonimir Rakamaric:
A Reachability Predicate for Analyzing Low-Level Software.
TACAS 2007: 19-33 |
2006 |
50 | EE | Tayfun Elmas,
Shaz Qadeer,
Serdar Tasiran:
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.
FATES/RV 2006: 193-208 |
49 | EE | Madan Musuvathi,
Shaz Qadeer:
CHESS: Systematic Stress Testing of Concurrent Software.
LOPSTR 2006: 15-16 |
48 | EE | Shuvendu K. Lahiri,
Shaz Qadeer:
Verifying properties of well-founded linked lists.
POPL 2006: 115-126 |
2005 |
47 | EE | Tayfun Elmas,
Serdar Tasiran,
Shaz Qadeer:
VYRD: verifYing concurrent programs by runtime refinement-violation detection.
PLDI 2005: 27-37 |
46 | EE | Vladimir Levin,
Robert Palmer,
Shaz Qadeer,
Sriram K. Rajamani:
Sound Transaction-Based Reduction Without Cycle Detection.
SPIN 2005: 106-122 |
45 | EE | Shaz Qadeer,
Jakob Rehof:
Context-Bounded Model Checking of Concurrent Software.
TACAS 2005: 93-107 |
44 | EE | Serdar Tasiran,
Shaz Qadeer:
Runtime Refinement Checking of Concurrent Data Structures.
Electr. Notes Theor. Comput. Sci. 113: 163-179 (2005) |
43 | EE | Cormac Flanagan,
Stephen N. Freund,
Shaz Qadeer:
Exploiting Purity for Atomicity.
IEEE Trans. Software Eng. 31(4): 275-291 (2005) |
42 | EE | Cormac Flanagan,
Stephen N. Freund,
Shaz Qadeer,
Sanjit A. Seshia:
Modular verification of multithreaded programs.
Theor. Comput. Sci. 338(1-3): 153-183 (2005) |
2004 |
41 | EE | 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 |
40 | EE | Tony Andrews,
Shaz Qadeer,
Sriram K. Rajamani,
Jakob Rehof,
Yichen Xie:
Zing: A Model Checker for Concurrent Software.
CAV 2004: 484-487 |
39 | EE | Tony Andrews,
Shaz Qadeer,
Sriram K. Rajamani,
Yichen Xie:
Zing: Exploiting Program Structure for Model Checking Concurrent Software.
CONCUR 2004: 1-15 |
38 | EE | Cormac Flanagan,
Stephen N. Freund,
Shaz Qadeer:
Exploiting purity for atomicity.
ISSTA 2004: 221-231 |
37 | EE | Shaz Qadeer,
Dinghao Wu:
KISS: keep it simple and sequential.
PLDI 2004: 14-24 |
36 | EE | Shaz Qadeer,
Sriram K. Rajamani,
Jakob Rehof:
Summarizing procedures in concurrent programs.
POPL 2004: 245-255 |
35 | EE | Stephen N. Freund,
Shaz Qadeer:
Checking Concise Specifications for Multithreaded Software.
Journal of Object Technology 3(6): 81-101 (2004) |
2003 |
34 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
Shaz Qadeer:
Thread-Modular Abstraction Refinement.
CAV 2003: 262-274 |
33 | EE | Cormac Flanagan,
Shaz Qadeer:
A type and effect system for atomicity.
PLDI 2003: 338-349 |
32 | EE | Cormac Flanagan,
Shaz Qadeer:
Thread-Modular Model Checking.
SPIN 2003: 213-224 |
31 | EE | Cormac Flanagan,
Shaz Qadeer:
Types for atomicity.
TLDI 2003: 1-12 |
30 | EE | Cormac Flanagan,
Shaz Qadeer:
Types for atomicity.
TLDI 2003: 1-12 |
29 | EE | 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) |
28 | EE | Cormac Flanagan,
Shaz Qadeer:
Transactions for Software Model Checking.
Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
27 | EE | 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) |
26 | EE | Shaz Qadeer:
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking.
IEEE Trans. Parallel Distrib. Syst. 14(8): 730-741 (2003) |
2002 |
25 | EE | Cormac Flanagan,
Shaz Qadeer,
Sanjit A. Seshia:
A Modular Checker for Multithreaded Programs.
CAV 2002: 180-194 |
24 | EE | Cormac Flanagan,
Stephen N. Freund,
Shaz Qadeer:
Thread-Modular Verification for Shared-Memory Programs.
ESOP 2002: 262-277 |
23 | EE | Shaz Qadeer,
Serdar Tasiran:
Promising Directions in Hardware Design Verification (invited).
ISQED 2002: 381-387 |
22 | EE | Cormac Flanagan,
Shaz Qadeer:
Predicate abstraction for software verification.
POPL 2002: 191-202 |
21 | EE | 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) |
2001 |
20 | EE | Shaz Qadeer:
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking
CoRR cs.DC/0108016: (2001) |
19 | | 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) |
2000 |
18 | | Kenneth L. McMillan,
Shaz Qadeer,
James B. Saxe:
Induction in Compositional Model Checking.
CAV 2000: 312-327 |
17 | | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani:
Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.
ICCAD 2000: 245-252 |
16 | EE | 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 |
1999 |
15 | EE | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani:
Assume-Guarantee Refinement Between Different Time Scales.
CAV 1999: 208-221 |
14 | EE | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani:
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.
CAV 1999: 301-315 |
13 | EE | Thomas A. Henzinger,
Xiaojun Liu,
Shaz Qadeer,
Sriram K. Rajamani:
Formal specification and verification of a dataflow processor array.
ICCAD 1999: 494-499 |
1998 |
12 | | Thomas A. Henzinger,
Orna Kupferman,
Shaz Qadeer:
From Pre-historic to Post-modern Symbolic Model Checking.
CAV 1998: 195-206 |
11 | | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani:
You Assume, We Guarantee: Methodology and Case Studies.
CAV 1998: 440-451 |
10 | | 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 |
9 | EE | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani,
Serdar Tasiran:
An Assume-Guarantee Rule for Checking Simulation.
FMCAD 1998: 421-432 |
8 | | Shaz Qadeer,
Natarajan Shankar:
Verifying a self-stabilizing mutual exclusion algorithm.
PROCOMET 1998: 424-443 |
1997 |
7 | | 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 |
6 | EE | Jae-Young Jang,
Shaz Qadeer,
Matt Kaufmann,
Carl Pixley:
Formal Verification of FIRE: A Case Study.
DAC 1997: 173-177 |
5 | EE | 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 |
4 | | Amit Mehrotra,
Shaz Qadeer,
Rajeev K. Ranjan,
Randy H. Katz:
Benchmarking and Analysis of Architectures for CAD Applications.
ICCD 1997: 670-675 |
1996 |
3 | | 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 |
2 | | 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 |
1 | EE | Shaz Qadeer,
Robert K. Brayton,
Vigyan Singhal:
Latch Redundancy Removal Without Global Reset.
ICCD 1996: 432-439 |