• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 16 matches

• 2019
• 
  Amir Watad, Alexander Libov, Ohad Shacham, Edward Bortnikov, Mark Silberstein:
  Achieving Scalability in a k-NN Multi-GPU Network Service with Centaur. PACT 2019: 245-257
• 2018
• 
  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): 1795-1808 (2018)
• 2017
• 
  Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ohad Shacham:
  Fragola: low-latency transactions in distributed data stores. SoCC 2017: 642
• 
  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: 167-180
• 2014
• 
  Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev:
  Verifying atomicity via data independence. ISSTA 2014: 26-36
• 2012
• 
  Ohad Shacham:
  Verifying atomicity of composed concurrent operations. Tel Aviv University, Israel, 2012
• 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): 263-272 (2011)
• 
  Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav:
  Testing atomicity of composed concurrent operations. OOPSLA 2011: 51-64
• 2009
• 
  Ohad Shacham, Martin T. Vechev, Eran Yahav:
  Chameleon: adaptive selection of collections. PLDI 2009: 408-418
• 2008
• 
  Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman:
  Linear-Time Reductions of Resolution Proofs. Haifa Verification Conference 2008: 114-128
• 2007
• 
  Ohad Shacham, Mooly Sagiv, Assaf Schuster:
  Scaling model checking of dataraces using dynamic information. J. Parallel Distributed Comput. 67(5): 536-550 (2007)
• 
  Ohad Shacham, Karen Yorav:
  On-The-Fly Resolve Trace Minimization. DAC 2007: 594-599
• 2005
• 
  Ohad Shacham, Mooly Sagiv, Assaf Schuster:
  Scaling model checking of dataraces using dynamic information. PPoPP 2005: 107-118
• 
  Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref:
  Supporting SAT based BMC on Finite Path Models. BMC@CAV 2005: 67-77
• 
  Ohad Shacham, Karen Yorav:
  Adaptive Application of SAT Solving Techniques. BMC@CAV 2005: 35-50
• 2003
• 
  Ohad Shacham, Emmanuel Zarpas:
  Tuning the VSIDS Decision Heuristic for Bounded Model Checking. MTV 2003: 75-