Æȷοì
Shaz Qadeer
Shaz Qadeer
Software Engineer, Meta
meta.comÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
VIS: A system for verification and synthesis
RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...
Computer Aided Verification: 8th International Conference, CAV'96 New ¡¦, 1996
9651996
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
7902000
Finding and Reproducing Heisenbugs in Concurrent Programs.
M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu
OSDI 8 (2008), 2008
7332008
Iterative context bounding for systematic testing of multithreaded programs
M Musuvathi, S Qadeer
ACM Sigplan Notices 42 (6), 446-455, 2007
5932007
MOCHA: Modularity in model checking
R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver ¡¦, 1998
5541998
Context-bounded model checking of concurrent software
S Qadeer, J Rehof
International conference on tools and algorithms for the construction and ¡¦, 2005
5012005
A type and effect system for atomicity
C Flanagan, S Qadeer
ACM SIGPLAN Notices 38 (5), 338-349, 2003
4932003
Predicate abstraction for software verification
C Flanagan, S Qadeer
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of ¡¦, 2002
4032002
You assume, we guarantee: Methodology and case studies
TA Henzinger, S Qadeer, SK Rajamani
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver ¡¦, 1998
3381998
Goldilocks: a race and transaction-aware java runtime
T Elmas, S Qadeer, S Tasiran
Acm Sigplan Notices 42 (6), 245-255, 2007
3132007
KISS: keep it simple and sequential
S Qadeer, D Wu
ACM sigplan notices 39 (6), 14-24, 2004
2802004
Partial-order reduction in symbolic state space exploration
R Alur, RK Brayton, TA Henzinger, S Qadeer, SK Rajamani
Computer Aided Verification: 9th International Conference, CAV'97 Haifa ¡¦, 1997
2461997
Thread-modular model checking
C Flanagan, S Qadeer
Model Checking Software: 10th International SPIN Workshop Portland, OR, USA ¡¦, 2003
2182003
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
2062012
Back to the future: revisiting precise program verification using SMT solvers
S Lahiri, S Qadeer
ACM SIGPLAN Notices 43 (1), 171-182, 2008
2032008
P: safe asynchronous event-driven programming
A Desai, V Gupta, E Jackson, S Qadeer, S Rajamani, D Zufferey
ACM SIGPLAN Notices 48 (6), 321-332, 2013
1962013
A solver for reachability modulo theories
A Lal, S Qadeer, SK Lahiri
Computer Aided Verification: 24th International Conference, CAV 2012 ¡¦, 2012
1842012
Delay-bounded scheduling
M Emmi, S Qadeer, Z Rakamarić
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of ¡¦, 2011
1802011
Thread-modular abstraction refinement
TA Henzinger, R Jhala, R Majumdar, S Qadeer
International Conference on Computer Aided Verification, 262-274, 2003
1782003
How to shop for free online--security analysis of cashier-as-a-service based web stores
R Wang, S Chen, XF Wang, S Qadeer
2011 IEEE symposium on security and privacy, 465-480, 2011
1762011
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20