Ohad Shacham

According to our database1, Ohad Shacham authored at least 14 papers between 2003 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Achieving Scalability in a k-NN Multi-GPU Network Service with Centaur.
Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019

2018
Taking Omid to the Clouds: Fast, Scalable Transactions for Real-Time Cloud Analytics.
Proc. VLDB Endow., 2018

2017
Omid, Reloaded: Scalable and Highly-Available Transaction Processing.
Proceedings of the 15th USENIX Conference on File and Storage Technologies, 2017

Fragola: low-latency transactions in distributed data stores.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2014
Verifying atomicity via data independence.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2011
Reducing the size of resolution proofs in linear time.
Int. J. Softw. Tools Technol. Transf., 2011

Testing atomicity of composed concurrent operations.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2009
Chameleon: adaptive selection of collections.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008
Linear-Time Reductions of Resolution Proofs.
Proceedings of the Hardware and Software: Verification and Testing, 2008

2007
Scaling model checking of dataraces using dynamic information.
J. Parallel Distributed Comput., 2007

On-The-Fly Resolve Trace Minimization.
Proceedings of the 44th Design Automation Conference, 2007

2006
Adaptive Application of SAT Solving Techniques.
Electron. Notes Theor. Comput. Sci., 2006

Supporting SAT based BMC on Finite Path Models.
Electron. Notes Theor. Comput. Sci., 2006

2003
Tuning the VSIDS Decision Heuristic for Bounded Model Checking.
Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003


  Loading...