Ohad Shacham

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