Testing atomicity of composed concurrent operations
- Ohad Shacham
- Nathan Bronson
- et al.
- 2011
- OOPSLA 2011
Conference paper
Publications
8 results for Ohad Shacham
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
PaperChameleon: Adaptive selection of collections
- Ohad Shacham
- Martin Vechev
- et al.
- 2009
- PLDI 2009
Conference paperOn-the-fly resolve trace minimization
- Ohad Shacham
- Karen Yorav
- 2007
- DAC 2007
Conference paperScaling model checking of dataraces using dynamic information
- Ohad Shacham
- Mooly Sagiv
- et al.
- 2007
- Journal of Parallel and Distributed Computing
PaperAdaptive application of SAT solving techniques
- Ohad Shacham
- Karen Yorav
- 2005
- CAV 2005
Workshop paperScaling model checking of dataraces using dynamic information
- Ohad Shacham
- Mooly Sagiv
- et al.
- 2005
- PROPP 2005
Conference paperTuning the VSIDS decision heuristic for bounded model checking
- O. Shacham
- E. Zarpas
- 2003
- MTV 2003
Conference paper