Shaz Qadeer

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Cormac Flanagan

> Home > Persons > Shaz Qadeer

Publications

2009
[e1]
- view
- export record
  dblp key:
  - conf/dagstuhl/2009P9361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2009P9361
Cormac Flanagan, Madhusan Parthasarathy, Shaz Qadeer:
Design and Validation of Concurrent Systems, 30.08. - 04.09.2009. Dagstuhl Seminar Proceedings 09361, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents]
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/FlanaganGPQ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/FlanaganGPQ09
Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer:
09361 Abstracts Collection - Design and Validation of Concurrent Systems. Design and Validation of Concurrent Systems 2009
2008
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/FlanaganFLQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/FlanaganFLQ08
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): 20:1-20:53 (2008)
2005
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FlanaganFQS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FlanaganFQS05
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia:
Modular verification of multithreaded programs. Theor. Comput. Sci. 338(1-3): 153-183 (2005)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/FlanaganFQ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/FlanaganFQ05
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
2004
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/FlanaganFQ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FlanaganFQ04
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Exploiting purity for atomicity. ISSTA 2004: 221-231
2003
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FlanaganQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FlanaganQ03
Cormac Flanagan, Shaz Qadeer:
A type and effect system for atomicity. PLDI 2003: 338-349
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/FlanaganQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/FlanaganQ03
Cormac Flanagan, Shaz Qadeer:
Thread-Modular Model Checking. SPIN 2003: 213-224
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/FlanaganQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/FlanaganQ03
Cormac Flanagan, Shaz Qadeer:
Types for atomicity. TLDI 2003: 1-12
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FlanaganQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FlanaganQ03
Cormac Flanagan, Shaz Qadeer:
Transactions for Software Model Checking. SoftMC@CAV 2003: 518-539
2002
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FlanaganQS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FlanaganQS02
Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia:
A Modular Checker for Multithreaded Programs. CAV 2002: 180-194
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/FlanaganFQ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/FlanaganFQ02
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FlanaganQ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FlanaganQ02
Cormac Flanagan, Shaz Qadeer:
Predicate abstraction for software verification. POPL 2002: 191-202

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.