Publications

6 results at PLDI 2010

Z-rays: Divide arrays and conquer speed and flexibility
- - Jennifer B. Sartor
  - Stephen M. Blackburn
  - et al.
- 2010
- 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