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 | 977 | 1996 |
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 | 793 | 2000 |
Finding and Reproducing Heisenbugs in Concurrent Programs. M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu OSDI 8 (2008), 2008 | 763 | 2008 |
Iterative context bounding for systematic testing of multithreaded programs M Musuvathi, S Qadeer ACM Sigplan Notices 42 (6), 446-455, 2007 | 601 | 2007 |
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 | 565 | 1998 |
Context-bounded model checking of concurrent software S Qadeer, J Rehof International conference on tools and algorithms for the construction and …, 2005 | 510 | 2005 |
A type and effect system for atomicity C Flanagan, S Qadeer ACM SIGPLAN Notices 38 (5), 338-349, 2003 | 504 | 2003 |
Predicate abstraction for software verification C Flanagan, S Qadeer Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 412 | 2002 |
You assume, we guarantee: Methodology and case studies TA Henzinger, S Qadeer, SK Rajamani Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 346 | 1998 |
Goldilocks: a race and transaction-aware java runtime T Elmas, S Qadeer, S Tasiran Acm Sigplan Notices 42 (6), 245-255, 2007 | 317 | 2007 |
KISS: keep it simple and sequential S Qadeer, D Wu ACM sigplan notices 39 (6), 14-24, 2004 | 290 | 2004 |
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 | 248 | 1997 |
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 | 221 | 2012 |
Thread-modular model checking C Flanagan, S Qadeer Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003 | 221 | 2003 |
Back to the future: revisiting precise program verification using SMT solvers S Lahiri, S Qadeer ACM SIGPLAN Notices 43 (1), 171-182, 2008 | 211 | 2008 |
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 | 210 | 2013 |
CHESS: Systematic stress testing of concurrent software M Musuvathi, S Qadeer Logic-Based Program Synthesis and Transformation: 16th International …, 2007 | 192 | 2007 |
Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamariĉ Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011 | 188 | 2011 |
A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 187 | 2012 |
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 | 182 | 2011 |