A Type and Effect System for Determinism in Multithreaded Programs
No abstract available.
Related papers
- Deterministic parallelism via liquid effects PLDI 2012
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs ESOP 2009
- Semantics-aware scheduling policies for synchronization determinism PPoPP 2019
- A type and effect system for atomicity PLDI 2003
- Improving server software support for simultaneous multithreaded processors PPoPP 2003
- A type and effect system for deterministic parallel Java OOPSLA 2009
- Type-based race detection for Java PLDI 2000
- Fine-grain Multithreading with Minimal Compiler Support - A Cost Effective Approach to Implementing Efficient Multithreading Languages PLDI 1997