Partial-coherence abstractions for relaxed memory models
- Michael Kuperstein
- Martin Vechev
- et al.
- 2011
- PLDI 2011
Publications
Date
Featured collections
Popular topics
4 results at PLDI 2011
A performance model for X10 applications: What's going on under the hood?
- 2011
- PLDI 2011
GPU programming in a high level language: Compiling X10 to CUDA
- Dave Cunningham
- Rajesh Bordawekar
- et al.
- 2011
- PLDI 2011
Compiling X10 to Java
- Mikio Takeuchi
- Yuki Makino
- et al.
- 2011
- PLDI 2011