Z-rays: Divide arrays and conquer speed and flexibility
- Jennifer B. Sartor
- Stephen M. Blackburn
- et al.
- 2010
- PLDI 2010
Publications
6 results at PLDI 2010
Evaluating the accuracy of Java profilers
- Todd Mytkowicz
- Amer Diwan
- et al.
- 2010
- PLDI 2010
Jinn: Synthesizing dynamic bug detectors for foreign language interfaces
- Byeongcheol Lee
- Ben Wiedermann
- et al.
- 2010
- PLDI 2010
Finding low-utility data structures
- Guoqing Xu
- Nick Mitchell
- et al.
- 2010
- PLDI 2010
Lock elision for read-only critical sections in Java
- Takuya Nakaike
- Maged M. Michael
- 2010
- PLDI 2010
MemSAT: Checking axiomatic specifications of memory models
- Emina Torlak
- Mandana Vaziri
- et al.
- 2010
- PLDI 2010