Follow
Ohad Shacham
Ohad Shacham
Verified email at yahoo-inc.com
Title
Cited by
Cited by
Year
Chameleon: Adaptive selection of collections
O Shacham, M Vechev, E Yahav
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1382009
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
962011
Adaptive application of SAT solving techniques
O Shacham, KF Yorav
US Patent 7,401,305, 2008
892008
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
442009
Tuning the VSIDS decision heuristic for bounded model checking
O Shacham, E Zarpas
Proceedings. 4th International Workshop on Microprocessor Test and …, 2003
432003
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
382005
Device, system and method for formal verification
CR Eisner, S Keidar-Barner, S Ruah, O Shacham, T Veksler
US Patent 7,725,851, 2010
232010
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
222014
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
152011
On-the-fly resolve trace minimization
O Shacham, K Yorav
Proceedings of the 44th annual Design Automation Conference, 594-599, 2007
122007
Verifying atomicity of composed concurrent operations
O Shacham
University of Tel-Aviv, 2012
102012
Satisfiability (SAT) based bounded model checkers
D Geist, M Ginzburg, Y Lustig, I Rabinovitz, O Shacham, R Tzoref
US Patent 7,835,898, 2010
102010
Utilizing an unSAT proof for model checking
O Fuhrmann, S Hoory, O Shacham
US Patent 8,161,433, 2012
92012
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
82013
Adaptive application of SAT solving techniques
O Shacham, K Yorav
Electronic Notes in Theoretical Computer Science 144 (1), 35-50, 2006
82006
Soft error verification in hardware designs
S Keidar-Barner, O Shacham, KF Yorav
US Patent 8,453,082, 2013
72013
Logic Design Verification Techniques for Liveness Checking
JR Baumgartner, P Roessler, O Shacham, J Xu
US Patent App. 12/393,779, 2010
72010
Verification techniques for liveness checking of logic designs
JR Baumgartner, PJ Roessler, O Shacham, J Xu
US Patent 8,352,894, 2013
52013
Clause and Proof Tightening
O Fuhrmann, O Shacham, O Strichman, T Veksler
US Patent App. 11/779,304, 2009
42009
Exploiting double resolutions for proof optimizations
O Bar-Ilan, O Fuhrmann, S Hoory, O Shacham
US Patent App. 12/059,152, 2009
32009
The system can't perform the operation now. Try again later.
Articles 1–20