| Chameleon: Adaptive selection of collections O Shacham, M Vechev, E Yahav Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 142 | 2009 |
| Testing atomicity of composed concurrent operations O Shacham, N Bronson, A Aiken, M Sagiv, M Vechev, E Yahav Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 96 | 2011 |
| Adaptive application of SAT solving techniques O Shacham, KF Yorav US Patent 7,401,305, 2008 | 89 | 2008 |
| Linear-time reductions of resolution proofs O Bar-Ilan, O Fuhrmann, S Hoory, O Shacham, O Strichman Hardware and Software: Verification and Testing: 4th International Haifa …, 2009 | 45 | 2009 |
| Tuning the VSIDS decision heuristic for bounded model checking O Shacham, E Zarpas Proceedings. 4th International Workshop on Microprocessor Test and …, 2003 | 43 | 2003 |
| Scaling model checking of dataraces using dynamic information O Shacham, M Sagiv, A Schuster Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of …, 2005 | 38 | 2005 |
| Device, system and method for formal verification CR Eisner, S Keidar-Barner, S Ruah, O Shacham, T Veksler US Patent 7,725,851, 2010 | 23 | 2010 |
| Verifying atomicity via data independence O Shacham, E Yahav, GG Gueta, A Aiken, N Bronson, M Sagiv, M Vechev Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 22 | 2014 |
| Reducing the size of resolution proofs in linear time O Bar-Ilan, O Fuhrmann, S Hoory, O Shacham, O Strichman International Journal on Software Tools for Technology Transfer 13, 263-272, 2011 | 15 | 2011 |
| On-the-fly resolve trace minimization O Shacham, K Yorav Proceedings of the 44th annual Design Automation Conference, 594-599, 2007 | 11 | 2007 |
| Verifying atomicity of composed concurrent operations O Shacham University of Tel-Aviv, 2012 | 10 | 2012 |
| Satisfiability (SAT) based bounded model checkers D Geist, M Ginzburg, Y Lustig, I Rabinovitz, O Shacham, R Tzoref US Patent 7,835,898, 2010 | 10 | 2010 |
| Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics O Shacham, M Vechev, E Yahav US Patent 8,374,978, 2013 | 8 | 2013 |
| Adaptive application of SAT solving techniques O Shacham, K Yorav Electronic Notes in Theoretical Computer Science 144 (1), 35-50, 2006 | 8 | 2006 |
| Soft error verification in hardware designs S Keidar-Barner, O Shacham, KF Yorav US Patent 8,453,082, 2013 | 7 | 2013 |
| Logic Design Verification Techniques for Liveness Checking JR Baumgartner, P Roessler, O Shacham, J Xu US Patent App. 12/393,779, 2010 | 7 | 2010 |
| Verification techniques for liveness checking of logic designs JR Baumgartner, PJ Roessler, O Shacham, J Xu US Patent 8,352,894, 2013 | 5 | 2013 |
| Method, apparatus and product for SAT solving using templates clauses O Fuhrmann, O Shacham US Patent 8,407,175, 2013 | 4 | 2013 |
| Clause and Proof Tightening O Fuhrmann, O Shacham, O Strichman, T Veksler US Patent App. 11/779,304, 2009 | 4 | 2009 |
| Exploiting double resolutions for proof optimizations O Bar-Ilan, O Fuhrmann, S Hoory, O Shacham US Patent App. 12/059,152, 2009 | 3 | 2009 |
