Ohad Shacham

I am a PhD student in Computer Science at Tel Aviv University, working under the supervision of Prof. Mooly Sagiv.

Email:

Teaching

Winter 2009 Compilation Course 0368.3133

Winter 2008 Compilation Course 0368.3133

Publications

Chameleon: Adaptive Selection of Collections
Ohad Shacham, Martin Vechev, and Eran Yahav
Appeared in PLDI'09: Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation , Dublin, Ireland, June 2009
[pdf] [slides] [doi] [poster]

Linear-time Reductions of Resolution Proofs
Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, and Ofer Strichman
Appeared in HVC'08: Proceedings of the 4th annual Haifa Verification Conference , Haifa, Israel, October 2008
[pdf] [slides] [doi]

On-The-Fly Resolve Trace Minimization
Ohad Shacham and Karen Yorav
Appeared in DAC'07: Proceedings of the 44th annual conference on Design Automation , San Diego, CA, USA, June 2007
[pdf] [slides] [doi]

Scaling Model Checking of Dataraces Using Dynamic Information
Ohad Shacham, Mooly Sagiv, and Assaf Schuster
Appeared in JPDC: Journal of Parallel and Distributed Computing Volume 67, Issue 5, May 2007
[pdf] [doi]

Adaptive Application of SAT Solving Techniques
Ohad Shacham and Karen Yorav
Appeared in ENTCS (BMC'05): Electronic Notes in Theoretical Computer Science , Volume 144, Number 1, January 2006
[pdf] [slides] [doi]

Supporting SAT based BMC on Finite Path Models
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, and Rachel Tzoref
Appeared in ENTCS (BMC'05): Electronic Notes in Theoretical Computer Science , Volume 144, Number 1, January 2006
[pdf] [slides] [doi]

Scaling Model Checking of Dataraces Using Dynamic Information
Ohad Shacham, Mooly Sagiv, and Assaf Schuster
Appeared in PPoPP'05 : Proceedings of the 10th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming , Chicago, IL, USA, June 2005
[pdf] [slides] [doi]

Tuning the VSIDS Decision Heuristic for Bounded Model Checking
Ohad Shacham and Emmanuel Zarpas
Appeared in MTV'03 : Proceedings of the 4th International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions , Austin, Texas, USA, May 2003
[pdf] [doi]