Searching for authors named "Shaz Qadeer" – sorted by Relevance.
42 documents found, showing 1 through 10.
Next 10 →
-
Algorithms and Methodology for Scalable Model Checking
- …Algorithms and Methodology for Scalable Model Checking Committee in charge: by Shaz Qadeer B. Tech…
- Cited by 3 (0 self) – Add To MetaCart
-
Debugging concurrent programs with sequential analysis
- …Debugging Concurrent Programs with Sequential Analysis Shaz Qadeer Microsoft Research One…
- Cited by 1 (0 self) – Add To MetaCart
-
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking
- …-Memory Multiprocessors by Model Checking Shaz Qadeer Systems Research Center 130 Lytton Avenue Palo Alto, California…
- Cited by 18 (1 self) – Add To MetaCart
-
Assume-Guarantee Model Checking
- …Assume-Guarantee Model Checking Cormac Flanagan 1 and Shaz Qadeer 2 1 Systems Research Center, HP…
- Cited by 1 (0 self) – Add To MetaCart
-
Runtime refinement checking of concurrent data structures
- …, Turkey Shaz Qadeer Microsoft Research, USA Abstract We present a runtime technique for checking that a…
- Cited by 3 (0 self) – Add To MetaCart
-
Promising Directions in Hardware Design Verification
- …, specifications and designs need to be expressed formally, with Shaz Qadeer Serdar Tasiran Compaq Systems Research…
- Add To MetaCart
-
Thread-modular model checking
- …Thread-Modular Model Checking Cormac Flanagan 1 and Shaz Qadeer 2 1 Systems Research Center, HP…
- Cited by 44 (7 self) – Add To MetaCart
-
A type and effect system for atomicity
- …A Type and Effect System for Atomicity Cormac Flanagan Shaz Qadeer HP Systems Research Center…
- Cited by 131 (19 self) – Add To MetaCart
-
KISS: Keep It Simple and Sequential
- …ABSTRACT KISS: Keep It Simple and Sequential Shaz Qadeer Microsoft Research One Microsoft Way…
- Cited by 49 (0 self) – Add To MetaCart
-
On the Verification of Memory Models of Shared-Memory Multiprocessors
- …On the Verification of Memory Models of Shared-Memory Multiprocessors Shaz Qadeer Compaq Systems…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
