Shaz Qadeer
Shaz Qadeer
Research Scientist, Facebook
Dirección de correo verificada de fb.com
Título
Citado por
Citado por
Año
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
9171996
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
7302000
Finding and Reproducing Heisenbugs in Concurrent Programs.
M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu
OSDI 8, 267-280, 2008
6222008
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
5091998
Iterative context bounding for systematic testing of multithreaded programs
M Musuvathi, S Qadeer
ACM Sigplan Notices 42 (6), 446-455, 2007
5072007
A type and effect system for atomicity
C Flanagan, S Qadeer
ACM SIGPLAN Notices 38 (5), 338-349, 2003
4612003
Context-bounded model checking of concurrent software
S Qadeer, J Rehof
International conference on tools and algorithms for the construction and …, 2005
4292005
Predicate abstraction for software verification
C Flanagan, S Qadeer
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
3632002
KISS: keep it simple and sequential
S Qadeer, D Wu
Acm sigplan notices 39 (6), 14-24, 2004
2852004
You assume, we guarantee: Methodology and case studies
TA Henzinger, S Qadeer, SK Rajamani
International Conference on Computer Aided Verification, 440-451, 1998
2831998
Goldilocks: a race and transaction-aware java runtime
T Elmas, S Qadeer, S Tasiran
ACM SIGPLAN Notices 42 (6), 245-255, 2007
2652007
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
2221997
Thread-modular model checking
C Flanagan, S Qadeer
International SPIN Workshop on Model Checking of Software, 213-224, 2003
1912003
Back to the future: revisiting precise program verification using SMT solvers
S Lahiri, S Qadeer
ACM SIGPLAN Notices 43 (1), 171-182, 2008
1892008
Thread-modular abstraction refinement
TA Henzinger, R Jhala, R Majumdar, S Qadeer
International Conference on Computer Aided Verification, 262-274, 2003
1632003
GPUVerify: a verifier for GPU kernels
A Betts, N Chong, A Donaldson, S Qadeer, P Thomson
Proceedings of the ACM international conference on Object oriented …, 2012
1592012
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
1572004
A solver for reachability modulo theories
A Lal, S Qadeer, SK Lahiri
International Conference on Computer Aided Verification, 427-443, 2012
1502012
Delay-bounded scheduling
M Emmi, S Qadeer, Z Rakamarić
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1462011
Types for atomicity
C Flanagan, S Qadeer
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in …, 2003
1452003
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20