Guy Golan Gueta



Publications

KiWi: A Key-Value Map for Scalable Real-Time Analytics

PPoPP 2017 • Feb 4 2017

Towards Automatic Lock Removal for Scalable Synchronization

DISC 2015 • Oct 7 2015

Scaling Concurrent Log-Structured Data Stores

EuroSys 2015 • Apr 21 2015

Verifying Atomicity via Data Independence

ISSTA • Jul 23 2014

Checking Linearizability of Encapsulated Extended Operations

ESOP 2014 • Apr 5 2014

Automatic Semantic Locking

PPoPP'14 • Feb 15 2014

Browse Publications