Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Shaz Qadeer

Simplifying Linearizability Proofs With Reduction and Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Systematic Testing of Asynchronous Reactive Systems

2015English

Induction in Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Context-Bounded Analysis for Concurrent Programs With Dynamic Creation of Threads

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Type and Effect System for Atomicity

ACM SIGPLAN Notices
2003English

Summarizing Procedures in Concurrent Programs

ACM SIGPLAN Notices
2004English

Exploiting Purity for Atomicity

2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy