Static Detection of Place Locality and Elimination of Runtime Checks
No abstract available.
Related papers
- POSTER: Distributed Control: The Benefits of Eliminating Global Synchronization via Effective Scheduling PPoPP 2017
- Type-based race detection for Java PLDI 2000
- A scalable distance-1 vertex coloring algorithm for power-law graphs PPoPP 2018
- BIRD: Binary Interpretation using Runtime Disassembly CGO 2006
- Static conflict analysis for multi-threaded object-oriented programs PLDI 2003
- What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective ECOOP 2017
- Lightweight fault detection in parallelized programs CGO 2013
- Alpaca: intermittent execution without checkpoints OOPSLA 2017