Chameleon: Adaptive selection of collections
- Ohad Shacham
- Martin Vechev
- et al.
- 2009
- PLDI 2009
Publications
Date
Featured collections
Popular topics
8 results for Ohad Shacham
On-the-fly resolve trace minimization
- Ohad Shacham
- Karen Yorav
- 2007
- DAC 2007
Testing atomicity of composed concurrent operations
- Ohad Shacham
- Nathan Bronson
- et al.
- 2011
- OOPSLA 2011
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
Adaptive application of SAT solving techniques
- Ohad Shacham
- Karen Yorav
- 2005
- CAV 2005
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
Scaling model checking of dataraces using dynamic information
- Ohad Shacham
- Mooly Sagiv
- et al.
- 2007
- Journal of Parallel and Distributed Computing