Ohad Shacham - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2019

Achieving Scalability in a k-NN Multi-GPU Network Service with CentaurAmir Watad, Alexander Libov, Ohad Shacham, Edward Bortnikov, Mark Silberstein. IEEEpact 2019: 245-257 [doi]

2018

Taking Omid to the Clouds: Fast, Scalable Transactions for Real-Time Cloud AnalyticsOhad Shacham, Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar. pvldb, 11(12):1795-1808, 2018. [doi]

2017

2014

Verifying atomicity via data independenceOhad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev. ISSTA 2014: 26-36 [doi]

2012

Verifying atomicity of composed concurrent operationsOhad Shacham. PhD thesis, Tel Aviv University, Israel, 2012. [doi]

2011

Reducing the size of resolution proofs in linear timeOmer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman. STTT, 13(3):263-272, 2011. [doi]

Testing atomicity of composed concurrent operationsOhad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav. OOPSLA 2011: 51-64 [doi]

2009

Chameleon: adaptive selection of collectionsOhad Shacham, Martin T. Vechev, Eran Yahav. PLDI 2009: 408-418 [doi]

2008

Linear-Time Reductions of Resolution ProofsOmer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman. hvc 2009: 114-128 [doi]

2007

On-The-Fly Resolve Trace MinimizationOhad Shacham, Karen Yorav. dac 2007: 594-599 [doi]

Scaling model checking of dataraces using dynamic informationOhad Shacham, Mooly Sagiv, Assaf Schuster. jpdc, 67(5):536-550, 2007. [doi]

2006

Supporting SAT based BMC on Finite Path ModelsDaniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref. ENTCS, 144(1):67-77, 2006. [doi]

Adaptive Application of SAT Solving TechniquesOhad Shacham, Karen Yorav. ENTCS, 144(1):35-50, 2006. [doi]

2005

Scaling model checking of dataraces using dynamic informationOhad Shacham, Mooly Sagiv, Assaf Schuster. ppopp 2005: 107-118 [doi]

2003

Tuning the VSIDS Decision Heuristic for Bounded Model CheckingOhad Shacham, Emmanuel Zarpas. mtv 2003: 75 [doi]

Sign in or sign up to see more results.

runs on WebDSL