Ohad Shacham

According to our database, Ohad Shacham authored at least 15 papers between 2003 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Achieving Scalability in a k-NN Multi-GPU Network Service with Centaur.

Amir Watad, Alexander Libov, Ohad Shacham, Edward Bortnikov, Mark Silberstein

Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019

2018

Taking Omid to the Clouds: Fast, Scalable Transactions for Real-Time Cloud Analytics.

Ohad Shacham, Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar

Proc. VLDB Endow., 2018

2017

Omid, Reloaded: Scalable and Highly-Available Transaction Processing.

Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ivan Kelly, Matthieu Morel, Sameer Paranjpye, Francisco Perez-Sorrosal, Ohad Shacham

Proceedings of the 15th USENIX Conference on File and Storage Technologies, 2017

Fragola: low-latency transactions in distributed data stores.

Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ohad Shacham

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2014

Verifying atomicity via data independence.

Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2012

Verifying atomicity of composed concurrent operations

Ohad Shacham

PhD thesis, 2012

2011

Reducing the size of resolution proofs in linear time.

Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman

Int. J. Softw. Tools Technol. Transf., 2011

Testing atomicity of composed concurrent operations.

Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2009

Chameleon: adaptive selection of collections.

Ohad Shacham, Martin T. Vechev, Eran Yahav

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Linear-Time Reductions of Resolution Proofs.

Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman

Proceedings of the Hardware and Software: Verification and Testing, 2008

2007

Scaling model checking of dataraces using dynamic information.

Ohad Shacham, Mooly Sagiv, Assaf Schuster

J. Parallel Distributed Comput., 2007

On-The-Fly Resolve Trace Minimization.

Ohad Shacham, Karen Yorav

Proceedings of the 44th Design Automation Conference, 2007

2005

Adaptive Application of SAT Solving Techniques.

Ohad Shacham, Karen Yorav

Proceedings of the Third International Workshop on Bounded Model Checking, 2005

Supporting SAT based BMC on Finite Path Models.

Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref

Proceedings of the Third International Workshop on Bounded Model Checking, 2005

2003

Tuning the VSIDS Decision Heuristic for Bounded Model Checking.

Ohad Shacham, Emmanuel Zarpas

Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003