Lock Removal for Concurrent Trace Programs
No abstract available.
Related papers
- Concurrent tries with efficient non-blocking snapshots PPoPP 2012
- A new approach to parallelising tracing algorithms ISMM 2009
- Practical concurrent binary search trees via logical ordering PPoPP 2014
- Revocable locks for non-blocking programming PPoPP 2005
- VERLIB: Concurrent Versioned Pointers PPoPP 2024
- The lock-free k-LSM relaxed priority queue PPoPP 2015
- Type-assisted automatic garbage collection for lock-free data structures ISMM 2017
- Regression-Free Synthesis for Concurrency CAV 2014