dblp.uni-trier.dewww.uni-trier.de

Shaz Qadeer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
68EEShuvendu K. Lahiri, Shaz Qadeer: Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. CADE 2009: 214-229
67EEShuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies: Intra-module Inference. CAV 2009: 493-508
66EEShuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV 2009: 509-524
65EEThomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
64EETayfun Elmas, Shaz Qadeer, Serdar Tasiran: A calculus of atomic actions. POPL 2009: 2-15
63EEJeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer: Unifying type checking and property checking for low-level code. POPL 2009: 302-314
62EEShaz Qadeer: Algorithmic Verification of Systems Software Using SMT Solvers. SAS 2009: 2
61EEMohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer: Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. TACAS 2009: 107-123
60EEShaunak 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
59EEShaz Qadeer: Taming Concurrency: A Program Verification Perspective. CONCUR 2008: 5
58EEMadanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu: Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI 2008: 267-280
57EEMadanlal Musuvathi, Shaz Qadeer: Fair stateless model checking. PLDI 2008: 362-371
56EEShuvendu K. Lahiri, Shaz Qadeer: Back to the future: revisiting precise program verification using SMT solvers. POPL 2008: 171-182
55EEShaz Qadeer: The Case for Context-Bounded Verification of Concurrent Programs. SPIN 2008: 3-6
54EECormac 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
53EEAhmed Bouajjani, Séverine Fratani, Shaz Qadeer: Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. CAV 2007: 207-220
52EETayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: a race and transaction-aware java runtime. PLDI 2007: 245-255
51EEMadanlal Musuvathi, Shaz Qadeer: Iterative context bounding for systematic testing of multithreaded programs. PLDI 2007: 446-455
50EEShaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: A Reachability Predicate for Analyzing Low-Level Software. TACAS 2007: 19-33
2006
49EETayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV 2006: 193-208
48EEMadan Musuvathi, Shaz Qadeer: CHESS: Systematic Stress Testing of Concurrent Software. LOPSTR 2006: 15-16
47EEShuvendu K. Lahiri, Shaz Qadeer: Verifying properties of well-founded linked lists. POPL 2006: 115-126
2005
46EETayfun Elmas, Serdar Tasiran, Shaz Qadeer: VYRD: verifYing concurrent programs by runtime refinement-violation detection. PLDI 2005: 27-37
45EEVladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani: Sound Transaction-Based Reduction Without Cycle Detection. SPIN 2005: 106-122
44EEShaz Qadeer, Jakob Rehof: Context-Bounded Model Checking of Concurrent Software. TACAS 2005: 93-107
43EESerdar Tasiran, Shaz Qadeer: Runtime Refinement Checking of Concurrent Data Structures. Electr. Notes Theor. Comput. Sci. 113: 163-179 (2005)
42EECormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
41EECormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia: Modular verification of multithreaded programs. Theor. Comput. Sci. 338(1-3): 153-183 (2005)
2004
40EEJesse 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
39EETony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie: Zing: A Model Checker for Concurrent Software. CAV 2004: 484-487
38EETony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie: Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR 2004: 1-15
37EECormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting purity for atomicity. ISSTA 2004: 221-231
36EEShaz Qadeer, Dinghao Wu: KISS: keep it simple and sequential. PLDI 2004: 14-24
35EEShaz Qadeer, Sriram K. Rajamani, Jakob Rehof: Summarizing procedures in concurrent programs. POPL 2004: 245-255
34EEStephen N. Freund, Shaz Qadeer: Checking Concise Specifications for Multithreaded Software. Journal of Object Technology 3(6): 81-101 (2004)
2003
33EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274
32EECormac Flanagan, Shaz Qadeer: A type and effect system for atomicity. PLDI 2003: 338-349
31EECormac Flanagan, Shaz Qadeer: Thread-Modular Model Checking. SPIN 2003: 213-224
30EECormac Flanagan, Shaz Qadeer: Types for atomicity. TLDI 2003: 1-12
29EEVigyan 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)
28EECormac Flanagan, Shaz Qadeer: Transactions for Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
27EEThomas 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)
26EEShaz Qadeer: Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking. IEEE Trans. Parallel Distrib. Syst. 14(8): 730-741 (2003)
2002
25EECormac Flanagan, Shaz Qadeer, Sanjit A. Seshia: A Modular Checker for Multithreaded Programs. CAV 2002: 180-194
24EECormac Flanagan, Stephen N. Freund, Shaz Qadeer: Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277
23EEShaz Qadeer, Serdar Tasiran: Promising Directions in Hardware Design Verification (invited). ISQED 2002: 381-387
22EECormac Flanagan, Shaz Qadeer: Predicate abstraction for software verification. POPL 2002: 191-202
21EEThomas 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
20EEShaz 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
16EELuiz 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
15EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Assume-Guarantee Refinement Between Different Time Scales. CAV 1999: 208-221
14EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV 1999: 301-315
13EEThomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani: Formal specification and verification of a dataflow processor array. ICCAD 1999: 494-499
1998
12EEThomas A. Henzinger, Orna Kupferman, Shaz Qadeer: From Pre-historic to Post-modern Symbolic Model Checking. CAV 1998: 195-206
11EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: You Assume, We Guarantee: Methodology and Case Studies. CAV 1998: 440-451
10EERajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: MOCHA: Modularity in Model Checking. CAV 1998: 521-525
9EEThomas 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
7EERajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Partial-Order Reduction in Symbolic State Space Exploration. CAV 1997: 340-351
6EEJae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley: Formal Verification of FIRE: A Case Study. DAC 1997: 173-177
5EEAmit 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
3EERobert 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
1EEShaz Qadeer, Robert K. Brayton, Vigyan Singhal: Latch Redundancy Removal Without Global Reset. ICCD 1996: 432-439

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)