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

Testing Atomicity of Composed Concurrent Operations
Ohad Shacham, Nathan Bronson, Alex Aiken, Mooly Sagiv, Martin Vechev, and Eran Yahav
Appeared in OOPSLA'11: Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications , Portland, OR, USA, October 2011
[pdf] [slides]

Reducing the Size of Resolution Proofs in Linear Time
Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, and Ofer Strichman
Appeared in STTT: Journal on Software Tools for Technology Transfer, Volume 13, Number 3, 2011
[pdf] [doi]

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]