Shaz Qadeer

Piranha

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

Hardware Security, Engineering, High-performance Architecture +11

Iterative context bounding for systematic testing of multithreaded programs

Madanlal Musuvathi, Shaz Qadeer · 2007 · 481 citations

Software Maintenance, Program Checking, Engineering +23

A type and effect system for atomicity

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

Engineering, Verification, Concurrent System +21

KISS

Shaz Qadeer, Dinghao Wu · 2004 · 296 citations

Program Checking, Engineering, Verification +17

Predicate abstraction for software verification

Cormac Flanagan, Shaz Qadeer · 2002 · 276 citations

Program Checking, Engineering, Verification +18