Shaz Qadeer

	2009
68		Shuvendu K. Lahiri, Shaz Qadeer: Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. CADE 2009: 214-229
67		Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies: Intra-module Inference. CAV 2009: 493-508
66		Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV 2009: 509-524
65		Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
64		Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: A calculus of atomic actions. POPL 2009: 2-15
63		Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer: Unifying type checking and property checking for low-level code. POPL 2009: 302-314
62		Shaz Qadeer: Algorithmic Verification of Systems Software Using SMT Solvers. SAS 2009: 2
61		Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer: Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. TACAS 2009: 107-123
60		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)
	2008
59		Shaz Qadeer: Taming Concurrency: A Program Verification Perspective. CONCUR 2008: 5
58		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
57		Madanlal Musuvathi, Shaz Qadeer: Fair stateless model checking. PLDI 2008: 362-371
56		Shuvendu K. Lahiri, Shaz Qadeer: Back to the future: revisiting precise program verification using SMT solvers. POPL 2008: 171-182
55		Shaz Qadeer: The Case for Context-Bounded Verification of Concurrent Programs. SPIN 2008: 3-6
54		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
53		Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer: Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. CAV 2007: 207-220
52		Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: a race and transaction-aware java runtime. PLDI 2007: 245-255
51		Madanlal Musuvathi, Shaz Qadeer: Iterative context bounding for systematic testing of multithreaded programs. PLDI 2007: 446-455
50		Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: A Reachability Predicate for Analyzing Low-Level Software. TACAS 2007: 19-33
	2006
49		Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV 2006: 193-208
48		Madan Musuvathi, Shaz Qadeer: CHESS: Systematic Stress Testing of Concurrent Software. LOPSTR 2006: 15-16
47		Shuvendu K. Lahiri, Shaz Qadeer: Verifying properties of well-founded linked lists. POPL 2006: 115-126
	2005
46		Tayfun Elmas, Serdar Tasiran, Shaz Qadeer: VYRD: verifYing concurrent programs by runtime refinement-violation detection. PLDI 2005: 27-37
45		Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani: Sound Transaction-Based Reduction Without Cycle Detection. SPIN 2005: 106-122
44		Shaz Qadeer, Jakob Rehof: Context-Bounded Model Checking of Concurrent Software. TACAS 2005: 93-107
43		Serdar Tasiran, Shaz Qadeer: Runtime Refinement Checking of Concurrent Data Structures. Electr. Notes Theor. Comput. Sci. 113: 163-179 (2005)
42		Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
41		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
40		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
39		Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie: Zing: A Model Checker for Concurrent Software. CAV 2004: 484-487
38		Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie: Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR 2004: 1-15
37		Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting purity for atomicity. ISSTA 2004: 221-231
36		Shaz Qadeer, Dinghao Wu: KISS: keep it simple and sequential. PLDI 2004: 14-24
35		Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof: Summarizing procedures in concurrent programs. POPL 2004: 245-255
34		Stephen N. Freund, Shaz Qadeer: Checking Concise Specifications for Multithreaded Software. Journal of Object Technology 3(6): 81-101 (2004)
	2003
33		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274
32		Cormac Flanagan, Shaz Qadeer: A type and effect system for atomicity. PLDI 2003: 338-349
31		Cormac Flanagan, Shaz Qadeer: Thread-Modular Model Checking. SPIN 2003: 213-224
30		Cormac Flanagan, Shaz Qadeer: Types for atomicity. TLDI 2003: 1-12
29		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		Cormac Flanagan, Shaz Qadeer: Transactions for Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
27		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		Shaz Qadeer: Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking. IEEE Trans. Parallel Distrib. Syst. 14(8): 730-741 (2003)
	2002
25		Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia: A Modular Checker for Multithreaded Programs. CAV 2002: 180-194
24		Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277
23		Shaz Qadeer, Serdar Tasiran: Promising Directions in Hardware Design Verification (invited). ISQED 2002: 381-387
22		Cormac Flanagan, Shaz Qadeer: Predicate abstraction for software verification. POPL 2002: 191-202
21		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		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		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		Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Assume-Guarantee Refinement Between Different Time Scales. CAV 1999: 208-221
14		Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV 1999: 301-315
13		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		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		Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley: Formal Verification of FIRE: A Case Study. DAC 1997: 173-177
5		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		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	[38] [39]
3	Mohamed Faouzi Atig	[61]
4	Adnan Aziz	[2] [3] [5] [29]
5	Thomas Ball	[58] [65]
6	Luiz André Barroso	[16]
7	Gérard Basler	[58]
8	Jesse D. Bingham	[40]
9	Ahmed Bouajjani	[53] [61]
10	Robert K. Brayton	[1] [2] [3] [5] [7] [19] [29]
11	Sebastian Burckhardt	[65]
12	Shaunak Chatterjee	[50] [60]
13	Szu-Tsung Cheng	[2] [3]
14	Jeremy Condit	[63]
15	Anne Condon	[40]
16	Stephen A. Edwards	[2] [3]
17	Tayfun Elmas	[46] [49] [52] [64]
18	Cormac Flanagan	[22] [24] [25] [28] [30] [31] [32] [37] [41] [42] [54]
19	Séverine Fratani	[53]
20	Stephen N. Freund	[24] [34] [37] [41] [42] [54]
21	Juan P. Galeotti	[67]
22	Kourosh Gharachorloo	[16]
23	Gary D. Hachtel	[2] [3]
24	Brian Hackett	[63]
25	Jonathan de Halleux	[65]
26	Thomas A. Henzinger	[7] [9] [10] [11] [12] [13] [14] [15] [17] [19] [21] [27] [33]
27	Alan J. Hu	[40]
28	Jae-Young Jang	[6]
29	Ranjit Jhala	[33]
30	Randy H. Katz	[4]
31	Matt Kaufmann	[6]
32	Sunil P. Khatri	[2] [3]
33	Yuji Kukimoto	[2] [3]
34	Orna Kupferman	[12] [27]
35	Shuvendu K. Lahiri	[47] [50] [56] [60] [63] [66] [67] [68]
36	Vladimir Levin	[45]
37	Marina Lifshin	[54]
38	Xiaojun Liu	[13]
39	Rupak Majumdar	[33]
40	Freddy Y. C. Mang	[10]
41	Kenneth L. McMillan	[18]
42	Robert McNamara	[16]
43	Amit Mehrotra	[4] [5]
44	Madan Musuvathi	[48]
45	Madanlal Musuvathi	[51] [57] [58] [65]
46	Piramanayagam Arumuga Nainar	[58]
47	Iulian Neamtiu	[58]
48	Andreas Nowatzyk	[16]
49	Robert Palmer	[45]
50	Abelardo Pardo	[2] [3]
51	Carl Pixley	[6] [29]
52	Sriram K. Rajamani	[7] [9] [10] [11] [13] [14] [15] [17] [19] [21] [35] [38] [39] [45]
53	Zvonimir Rakamaric	[50] [60] [66]
54	Rajeev K. Ranjan	[2] [3] [4]
55	Jakob Rehof	[35] [39] [44]
56	Alberto L. Sangiovanni-Vincentelli	[2] [3] [5]
57	Barton Sano	[16]
58	Shaker Sarwary	[2] [3]
59	James B. Saxe	[18]
60	Sanjit A. Seshia	[25] [41]
61	Natarajan Shankar	[8]
62	Thomas R. Shiple	[2] [3]
63	Vigyan Singhal	[1] [5] [29]
64	Scott Smith	[16]
65	Fabio Somenzi	[2] [3]
66	Robert Stets	[16]
67	Gitanjali Swamy	[2] [3]
68	Serdar Tasiran	[9] [10] [21] [23] [43] [46] [49] [52] [64]
69	Ben Verghese	[16]
70	Tiziano Villa	[2] [3]
71	Jan W. Voung	[67]
72	Thomas Wies	[67]
73	Dinghao Wu	[36]
74	Yichen Xie	[38] [39]
75	Zhichuan Zhang	[40]

Colors in the list of coauthors