| 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 | 975 | 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 | 788 | 2000 |
| Finding and Reproducing Heisenbugs in Concurrent Programs. M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu OSDI 8 (2008), 2008 | 742 | 2008 |
| Iterative context bounding for systematic testing of multithreaded programs M Musuvathi, S Qadeer ACM Sigplan Notices 42 (6), 446-455, 2007 | 596 | 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 | 558 | 1998 |
| Context-bounded model checking of concurrent software S Qadeer, J Rehof International conference on tools and algorithms for the construction and …, 2005 | 504 | 2005 |
| A type and effect system for atomicity C Flanagan, S Qadeer ACM SIGPLAN Notices 38 (5), 338-349, 2003 | 498 | 2003 |
| Predicate abstraction for software verification C Flanagan, S Qadeer Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 407 | 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 | 342 | 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 | 284 | 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 | 246 | 1997 |
| Thread-modular model checking C Flanagan, S Qadeer Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003 | 220 | 2003 |
| 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 | 211 | 2012 |
| Back to the future: revisiting precise program verification using SMT solvers S Lahiri, S Qadeer ACM SIGPLAN Notices 43 (1), 171-182, 2008 | 206 | 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 | 200 | 2013 |
| CHESS: Systematic stress testing of concurrent software M Musuvathi, S Qadeer Logic-Based Program Synthesis and Transformation: 16th International …, 2007 | 190 | 2007 |
| A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 185 | 2012 |
| Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011 | 182 | 2011 |
| Thread-modular abstraction refinement TA Henzinger, R Jhala, R Majumdar, S Qadeer International Conference on Computer Aided Verification, 262-274, 2003 | 178 | 2003 |
