Shaz Qadeer

	2012
87		Shaz Qadeer, Serdar Tasiran: Runtime verification of concurrency-specific correctness criteria. STTT 14(3): 291-305 (2012)
	2011
86		Ganesh Gopalakrishnan, Shaz Qadeer: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings Springer 2011
85		Shaz Qadeer: Poirot - A Concurrency Sleuth. ICFEM 2011: 15
84		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
83		Shuvendu K. Lahiri, Shaz Qadeer: Call Invariants. NASA Formal Methods 2011: 237-251
82		Shuvendu K. Lahiri, Shaz Qadeer, David Walker: Linear maps. PLPV 2011: 3-14
81		Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric: Delay-bounded scheduling. POPL 2011: 411-422
80		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
79		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)
78		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)
	2010
77		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
76		Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer: Run-Time Verification of Optimistic Concurrency. RV 2010: 384-398
75		Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran: Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS 2010: 296-311
74		Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer: Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434
73		Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer: Abstract Threads. VMCAI 2010: 231-246
72		Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue: Towards Scalable Modular Checking of User-Defined Properties. VSTTE 2010: 1-24
71		Ali Sezgin, Serdar Tasiran, Shaz Qadeer: Tressa: Claiming the Future. VSTTE 2010: 25-39
70		Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: a race-aware Java runtime. Commun. ACM 53(11): 85-92 (2010)
	2009
69		Shuvendu K. Lahiri, Shaz Qadeer: Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. CADE 2009: 214-229
68		Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies: Intra-module Inference. CAV 2009: 493-508
67		Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV 2009: 509-524
66		Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
65		Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer: An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD 2009
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): 518-539 (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] [78]
4	Adnan Aziz	[2] [3] [5] [29]
5	Thomas Ball	[58] [66] [72] [74] [79] [80]
6	Luiz André Barroso	[16]
7	Gérard Basler	[58]
8	Jesse D. Bingham	[40]
9	Judith Bishop (Judith Mary Bishop, Judy M. Bishop)	[80]
10	Hans-Juergen Boehm	[77]
11	Ahmed Bouajjani	[53] [61] [78]
12	Robert K. Brayton	[1] [2] [3] [5] [7] [19] [29]
13	Sebastian Burckhardt	[66] [74] [79] [80]
14	Luis Ceze	[77]
15	Shaunak Chatterjee	[50] [60]
16	Shuo Chen	[84]
17	Szu-Tsung Cheng	[2] [3]
18	Jeremy Condit	[63]
19	Anne Condon	[40]
20	Katherine E. Coons	[74]
21	Stephen A. Edwards	[2] [3]
22	Tayfun Elmas	[46] [49] [52] [64] [65] [70] [75]
23	Michael Emmi	[81]
24	Cormac Flanagan	[22] [24] [25] [28] [30] [31] [32] [37] [41] [42] [54]
25	Séverine Fratani	[53]
26	Stephen N. Freund	[24] [34] [37] [41] [42] [54]
27	Juan P. Galeotti	[68]
28	Kourosh Gharachorloo	[16]
29	Ganesh Gopalakrishnan	[80] [86]
30	Gary D. Hachtel	[2] [3]
31	Brian Hackett	[63] [72]
32	Jonathan de Halleux	[66]
33	Peli de Halleux	[79]
34	Thomas A. Henzinger	[7] [9] [10] [11] [12] [13] [14] [15] [17] [19] [21] [27] [33]
35	Alan J. Hu	[40]
36	Jae-Young Jang	[6]
37	Ranjit Jhala	[33]
38	Randy H. Katz	[4]
39	Matt Kaufmann	[6]
40	Sunil P. Khatri	[2] [3]
41	Yuji Kukimoto	[2] [3]
42	Orna Kupferman	[12] [27]
43	Shuvendu K. Lahiri	[47] [50] [56] [60] [63] [67] [68] [69] [72] [73] [82] [83]
44	Vladimir Levin	[45]
45	Marina Lifshin	[54]
46	Xiaojun Liu	[13]
47	Brandon Lucia	[77]
48	Rupak Majumdar	[33]
49	Alexander Malkis	[73]
50	Freddy Y. C. Mang	[10]
51	Joseph Mayo	[80]
52	Kenneth L. McMillan	[18]
53	Robert McNamara	[16]
54	Amit Mehrotra	[4] [5]
55	Kivanç Muslu	[76]
56	Madan Musuvathi	[48] [79]
57	Madanlal Musuvathi	[51] [57] [58] [66] [74] [80]
58	Piramanayagam Arumuga Nainar	[58]
59	Iulian Neamtiu	[58]
60	Andreas Nowatzyk	[16]
61	Robert Palmer	[45]
62	Abelardo Pardo	[2] [3]
63	Carl Pixley	[6] [29]
64	Sriram K. Rajamani	[7] [9] [10] [11] [13] [14] [15] [17] [19] [21] [35] [38] [39] [45]
65	Zvonimir Rakamaric	[50] [60] [67] [81]
66	Rajeev K. Ranjan	[2] [3] [4]
67	Jakob Rehof	[35] [39] [44]
68	Caitlin Sadowski	[80]
69	Alberto L. Sangiovanni-Vincentelli	[2] [3] [5]
70	Barton Sano	[16]
71	Shaker Sarwary	[2] [3]
72	James B. Saxe	[18]
73	Sanjit A. Seshia	[25] [41]
74	Ali Sezgin	[65] [71] [75] [76]
75	Natarajan Shankar	[8]
76	Thomas R. Shiple	[2] [3]
77	Vigyan Singhal	[1] [5] [29]
78	Scott Smith	[16]
79	Fabio Somenzi	[2] [3]
80	Robert Stets	[16]
81	Karin Strauss	[77]
82	Omer Subasi	[75]
83	Gitanjali Swamy	[2] [3]
84	Serdar Tasiran	[9] [10] [21] [23] [43] [46] [49] [52] [64] [65] [70] [71] [75] [76] [87]
85	Stephen Toub	[80]
86	Julien Vanegue	[72]
87	Ben Verghese	[16]
88	Tiziano Villa	[2] [3]
89	Jan W. Voung	[68]
90	David Walker	[82]
91	XiaoFeng Wang	[84]
92	Rui Wang	[84]
93	Thomas Wies	[68]
94	Dinghao Wu	[36]
95	Yichen Xie	[38] [39]
96	Zhichuan Zhang	[40]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page