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 Stephen N. Freund

> Home > Persons > Shaz Qadeer

Publications

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
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/FreundQ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/FreundQ04
Stephen N. Freund, Shaz Qadeer:
Checking Concise Specifications for Multithreaded Software. J. Object Technol. 3(6): 81-101 (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
2002
[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

a service of

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.