Ohad Shacham
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2005–2017
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CLOUD | Fragola: low-latency transactions in distributed data stores. | Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ohad Shacham |
| 2017 | FAST | 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 |
| 2014 | ISSTA | Verifying atomicity via data independence. | Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev |
| 2011 | OOPSLA | Testing atomicity of composed concurrent operations. | Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav |
| 2009 | PLDI | Chameleon: adaptive selection of collections. | Ohad Shacham, Martin T. Vechev, Eran Yahav |
| 2007 | DAC | On-The-Fly Resolve Trace Minimization. | Ohad Shacham, Karen Yorav |
| 2005 | PPoPP | Scaling model checking of dataraces using dynamic information. | Ohad Shacham, Mooly Sagiv, Assaf Schuster |