Shaz Qadeer

2008
55	EE	Shuvendu K. Lahiri, Shaz Qadeer: Back to the future: revisiting precise program verification using SMT solvers. POPL 2008: 171-182
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

Coauthor Index

1	Rajeev Alur	[7] [10] [19]
2	Tony Andrews	[39] [40]
3	Adnan Aziz	[2] [3] [5] [29]
4	Luiz André Barroso	[16]
5	Jesse D. Bingham	[41]
6	Ahmed Bouajjani	[54]
7	Robert K. Brayton	[1] [2] [3] [5] [7] [19] [29]
8	Shaunak Chatterjee	[51]
9	Szu-Tsung Cheng	[2] [3]
10	Anne Condon	[41]
11	Stephen A. Edwards	[2] [3]
12	Tayfun Elmas	[47] [50] [53]
13	Cormac Flanagan	[22] [24] [25] [28] [30] [31] [32] [33] [38] [42] [43]
14	Séverine Fratani	[54]
15	Stephen N. Freund	[24] [35] [38] [42] [43]
16	Kourosh Gharachorloo	[16]
17	Gary D. Hachtel	[2] [3]
18	Thomas A. Henzinger	[7] [9] [10] [11] [12] [13] [14] [15] [17] [19] [21] [27] [34]
19	Alan J. Hu	[41]
20	Jae-Young Jang	[6]
21	Ranjit Jhala	[34]
22	Randy H. Katz	[4]
23	Matt Kaufmann	[6]
24	Sunil P. Khatri	[2] [3]
25	Yuji Kukimoto	[2] [3]
26	Orna Kupferman	[12] [27]
27	Shuvendu K. Lahiri	[48] [51] [55]
28	Vladimir Levin	[46]
29	Xiaojun Liu	[13]
30	Rupak Majumdar	[34]
31	Freddy Y. C. Mang	[10]
32	Kenneth L. McMillan	[18]
33	Robert McNamara	[16]
34	Amit Mehrotra	[4] [5]
35	Madan Musuvathi	[49]
36	Madanlal Musuvathi	[52]
37	Andreas Nowatzyk	[16]
38	Robert Palmer	[46]
39	Abelardo Pardo	[2] [3]
40	Carl Pixley	[6] [29]
41	Sriram K. Rajamani	[7] [9] [10] [11] [13] [14] [15] [17] [19] [21] [36] [39] [40] [46]
42	Zvonimir Rakamaric	[51]
43	Rajeev K. Ranjan	[2] [3] [4]
44	Jakob Rehof	[36] [40] [45]
45	Alberto L. Sangiovanni-Vincentelli	[2] [3] [5]
46	Barton Sano	[16]
47	Shaker Sarwary	[2] [3]
48	James B. Saxe	[18]
49	Sanjit A. Seshia	[25] [42]
50	Natarajan Shankar	[8]
51	Thomas R. Shiple	[2] [3]
52	Vigyan Singhal	[1] [5] [29]
53	Scott Smith	[16]
54	Fabio Somenzi	[2] [3]
55	Robert Stets	[16]
56	Gitanjali Swamy	[2] [3]
57	Serdar Tasiran	[9] [10] [21] [23] [44] [47] [50] [53]
58	Ben Verghese	[16]
59	Tiziano Villa	[2] [3]
60	Dinghao Wu	[37]
61	Yichen Xie	[39] [40]
62	Zhichuan Zhang	[41]

Colors in the list of coauthors