Shaz Qadeer
Shaz Qadeer
Research Scientist, Facebook
Verified email at fb.com
TitleCited byYear
VIS: A system for verification and synthesis
RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...
International conference on computer aided verification, 428-432, 1996
9011996
Piranha: a scalable architecture based on single-chip multiprocessing
LA Barroso, K Gharachorloo, R McNamara, A Nowatzyk, S Qadeer, ...
ACM SIGARCH Computer Architecture News 28 (2), 282-293, 2000
7112000
Finding and Reproducing Heisenbugs in Concurrent Programs.
M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu
OSDI 8, 267-280, 2008
5772008
MOCHA: Modularity in model checking
R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran
International Conference on Computer Aided Verification, 521-525, 1998
4791998
Iterative context bounding for systematic testing of multithreaded programs
M Musuvathi, S Qadeer
ACM Sigplan Notices 42 (6), 446-455, 2007
4762007
A type and effect system for atomicity
C Flanagan, S Qadeer
ACM SIGPLAN Notices 38 (5), 338-349, 2003
4432003
Context-bounded model checking of concurrent software
S Qadeer, J Rehof
International conference on tools and algorithms for the construction and …, 2005
4052005
Predicate abstraction for software verification
C Flanagan, S Qadeer
ACM SIGPLAN Notices 37 (1), 191-202, 2002
3422002
You assume, we guarantee: Methodology and case studies
TA Henzinger, S Qadeer, SK Rajamani
International Conference on Computer Aided Verification, 440-451, 1998
2751998
KISS: keep it simple and sequential
S Qadeer, D Wu
Acm sigplan notices 39 (6), 14-24, 2004
2742004
Goldilocks: a race and transaction-aware java runtime
T Elmas, S Qadeer, S Tasiran
ACM SIGPLAN Notices 42 (6), 245-255, 2007
2452007
Partial-order reduction in symbolic state space exploration
R Alur, RK Brayton, TA Henzinger, S Qadeer, SK Rajamani
International Conference on Computer Aided Verification, 340-351, 1997
2061997
Thread-modular model checking
C Flanagan, S Qadeer
International SPIN Workshop on Model Checking of Software, 213-224, 2003
1842003
Back to the future: revisiting precise program verification using SMT solvers
S Lahiri, S Qadeer
ACM SIGPLAN Notices 43 (1), 171-182, 2008
1762008
Thread-modular abstraction refinement
TA Henzinger, R Jhala, R Majumdar, S Qadeer
International Conference on Computer Aided Verification, 262-274, 2003
1552003
Zing: A model checker for concurrent software
T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie
International Conference on Computer Aided Verification, 484-487, 2004
1512004
Types for atomicity
C Flanagan, S Qadeer
ACM SIGPLAN Notices 38 (3), 1-12, 2003
1422003
Delay-bounded scheduling
M Emmi, S Qadeer, Z Rakamarić
ACM SIGPLAN Notices 46 (1), 411-422, 2011
1292011
A solver for reachability modulo theories
A Lal, S Qadeer, SK Lahiri
International Conference on Computer Aided Verification, 427-443, 2012
1282012
GPUVerify: a verifier for GPU kernels
A Betts, N Chong, A Donaldson, S Qadeer, P Thomson
ACM SIGPLAN Notices 47 (10), 113-132, 2012
1262012
The system can't perform the operation now. Try again later.
Articles 1–20