Concepedia

Shaz Qadeer

SQ

Statistics

Publications

82

Citations

6.1K

H-Index

40

Active since

1997

Affiliations

Microsoft (United States)(Current)

University of California, Berkeley

Koç University

Microsoft Research (United Kingdom)

Université Paris Cité

Shaz Qadeer is an author at Microsoft (United States) specializing in computer science, computing, and formal methods.

Publications per year

1997–2020

82

Publications

82

Piranha

Luiz André Barroso, Kourosh Gharachorloo, Robert McNamara et al. · 2000 · 520 citations · Full text

, , +16

Iterative context bounding for systematic testing of multithreaded programs

Madanlal Musuvathi, Shaz Qadeer · 2007 · 483 citations

, , +12

A type and effect system for atomicity

Cormac Flanagan, Shaz Qadeer · ACM SIGPLAN Notices · 2003 · 305 citations

, , +17

KISS

Shaz Qadeer, Dinghao Wu · 2004 · 299 citations

, , +17

Predicate abstraction for software verification

Cormac Flanagan, Shaz Qadeer · 2002 · 280 citations

, , +15

1–5 of 82