Publications

8 results for Ohad Shacham

Testing atomicity of composed concurrent operations
- - Ohad Shacham
  - Nathan Bronson
  - et al.
- 2011
- OOPSLA 2011
Reducing the size of resolution proofs in linear time
- - Omer Bar-Ilan
  - Oded Fuhrmann
  - et al.
- 2010
- International Journal on Software Tools for Technology Transfer
Chameleon: Adaptive selection of collections
- - Ohad Shacham
  - Martin Vechev
  - et al.
- 2009
- PLDI 2009
On-the-fly resolve trace minimization
- - Ohad Shacham
  - Karen Yorav
- 2007
- DAC 2007
Scaling model checking of dataraces using dynamic information
- - Ohad Shacham
  - Mooly Sagiv
  - et al.
- 2007
- Journal of Parallel and Distributed Computing
Adaptive application of SAT solving techniques
- - Ohad Shacham
  - Karen Yorav
- 2005
- CAV 2005
Scaling model checking of dataraces using dynamic information
- - Ohad Shacham
  - Mooly Sagiv
  - et al.
- 2005
- PROPP 2005
Tuning the VSIDS decision heuristic for bounded model checking
- - O. Shacham
  - E. Zarpas
- 2003
- MTV 2003