Loci: Simple Thread-Locality for Java
No abstract available.
Related papers
- Improving the Java memory model using CRF OOPSLA 2000
- Loci: a rule-based framework for parallel multi-disciplinary simulation synthesis JFP 2005
- Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine OOPSLA 2015
- Lock reservation: Java locks can mostly do without atomic operations OOPSLA 2002
- Dala: a simple capability-based dynamic language design for data race-freedom Onward! 2021
- Type-based race detection for Java PLDI 2000
- Types for atomicity: Static checking and inference for Java TOPLAS 2008
- Well-structured futures and cache locality PPoPP 2014