Tuning the VSIDS Decision Heuristic for Bounded Model Checking. - Ohad Shacham; Emmanuel Zarpas (MTV, 2003)

Supporting SAT based BMC on Finite Path Models. - Daniel Geist; Mark Ginzburg; Yoad Lustig; Ishai Rabinovitz; Ohad Shacham; Rachel Tzoref (BMC@CAV, 2005)

Adaptive Application of SAT Solving Techniques. - Ohad Shacham; Karen Yorav (BMC@CAV, 2005)

On-The-Fly Resolve Trace Minimization. - Ohad Shacham; Karen Yorav (DAC, 2007)

Scaling model checking of dataraces using dynamic information. - Ohad Shacham; Mooly Sagiv; Assaf Schuster (J. Parallel Distributed Comput., 2007)

Linear-Time Reductions of Resolution Proofs. - Omer Bar-Ilan; Oded Fuhrmann; Shlomo Hoory; Ohad Shacham; Ofer Strichman (Haifa Verification Conference, 2008)

Chameleon: adaptive selection of collections. - Ohad Shacham; Martin T. Vechev; Eran Yahav (PLDI, 2009)

Testing atomicity of composed concurrent operations. - Ohad Shacham; Nathan Grasso Bronson; Alex Aiken; Mooly Sagiv; Martin T. Vechev; Eran Yahav (OOPSLA, 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)

Verifying atomicity of composed concurrent operations - Ohad Shacham (2012)

Verifying atomicity via data independence. - Ohad Shacham; Eran Yahav; Guy Golan-Gueta; Alex Aiken; Nathan Grasso Bronson; Mooly Sagiv; Martin T. Vechev (ISSTA, 2014)

Fragola: low-latency transactions in distributed data stores. - Yonatan Gottesman; Aran Bergman; Edward Bortnikov; Eshcar Hillel; Idit Keidar; Ohad Shacham (SoCC, 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 (FAST, 2017)

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)

Achieving Scalability in a k-NN Multi-GPU Network Service with Centaur. - Amir Watad; Alexander Libov; Ohad Shacham; Edward Bortnikov; Mark Silberstein (PACT, 2019)