Ohad Shacham

Publication Activity (10 Years)

Years Active: 2003-2019
Publications (10 Years): 4

Top Topics

Data Independence

Top Venues

Proc. VLDB Endow.

Publications

Amir Watad, Alexander Libov, Ohad Shacham, Edward Bortnikov, Mark Silberstein
Achieving Scalability in a k-NN Multi-GPU Network Service with Centaur. PACT (2019)
Ohad Shacham, Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar
Taking Omid to the Clouds: Fast, Scalable Transactions for Real-Time Cloud Analytics. Proc. VLDB Endow. 11 (12) (2018)
Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ivan Kelly, Matthieu Morel, Sameer Paranjpye, Francisco Perez-Sorrosal, Ohad Shacham
Omid, Reloaded: Scalable and Highly-Available Transaction Processing. FAST (2017)
Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ohad Shacham
Fragola: low-latency transactions in distributed data stores. SoCC (2017)
Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev
Verifying atomicity via data independence. ISSTA (2014)
Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav
Testing atomicity of composed concurrent operations. OOPSLA (2011)
Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman
Reducing the size of resolution proofs in linear time. Int. J. Softw. Tools Technol. Transf. 13 (3) (2011)
Ohad Shacham, Martin T. Vechev, Eran Yahav
Chameleon: adaptive selection of collections. PLDI (2009)
Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman
Linear-Time Reductions of Resolution Proofs. Haifa Verification Conference (2008)
Ohad Shacham, Mooly Sagiv, Assaf Schuster
Scaling model checking of dataraces using dynamic information. J. Parallel Distributed Comput. 67 (5) (2007)
Ohad Shacham, Karen Yorav
On-The-Fly Resolve Trace Minimization. DAC (2007)
Ohad Shacham, Karen Yorav
Adaptive Application of SAT Solving Techniques. Electron. Notes Theor. Comput. Sci. 144 (1) (2006)
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
Supporting SAT based BMC on Finite Path Models. Electron. Notes Theor. Comput. Sci. 144 (1) (2006)
Ohad Shacham, Mooly Sagiv, Assaf Schuster
Scaling model checking of dataraces using dynamic information. PPOPP (2005)
Ohad Shacham, Emmanuel Zarpas
Tuning the VSIDS Decision Heuristic for Bounded Model Checking. MTV (2003)