82
Publications
6K
Citations
40
H-Index
1997
Active since
Shaz Qadeer is an author at Microsoft (United States) specializing in computer science, engineering, and program analysis.
Top concepts
EngineeringComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisFormal MethodsVerificationComputer EngineeringSystem SoftwareParallel Programming
Publications per year
1997–2020
82
82
Luiz André Barroso, Kourosh Gharachorloo, Robert McNamara et al. · 2000 · 517 citations · Full text
Hardware Security, Engineering, High-performance Architecture +11
A type and effect system for atomicity
Cormac Flanagan, Shaz Qadeer · ACM SIGPLAN Notices · 2003 · 303 citations
Predicate abstraction for software verification
Cormac Flanagan, Shaz Qadeer · 2002 · 276 citations
Rows per page
1–5 of 82