mooly sagiv

Research Areas:

Publications

Automatic Scalable Atomicity via Semantic Locking

20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming • Feb 7 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

Verifying Atomicity via Data Independence

Browse Publications

- Help
- About our ads