Publications

185 results at ACM SIGPLAN Notices

The DaCapo benchmarks: Java benchmarking development and analysis
- - Stephen M. Blackburn
  - Robin Garner
  - et al.
- 2006
- ACM SIGPLAN Notices
Replay compilation: Improving debuggability of a just-in-time compiler
- - Kazunori Ogata
  - Tamiya Onodera
  - et al.
- 2006
- ACM SIGPLAN Notices
An operational semantics and type safety proof for multiple inheritance in C++
- - Daniel Wasserrab
  - Tobias Nipkow
  - et al.
- 2006
- ACM SIGPLAN Notices
biXid: A bidirectional transformation language for XML
- - Shinya Kawanaka
  - Haruo Hosoya
- 2006
- ACM SIGPLAN Notices
Accurate, efficient, and adaptive calling context profiling
- - Xiaotong Zhuang
  - Mauricio J. Serrano
  - et al.
- 2006
- ACM SIGPLAN Notices
Online performance auditing: Using hot optimizations without getting burned
- - Jeremy Lau
  - Matthew Arnold
  - et al.
- 2006
- ACM SIGPLAN Notices
Correctness-preserving derivation of concurrent garbage collection algorithms
- - Martin T. Vechev
  - Eran Yahav
  - et al.
- 2006
- ACM SIGPLAN Notices
Optimizing data permutations for SIMD devices
- - Gang Ren
  - Peng Wu
  - et al.
- 2006
- ACM SIGPLAN Notices
Auto-vectorization of interleaved data for SIMD
- - Dorit Nuzman
  - Ira Rosen
  - et al.
- 2006
- ACM SIGPLAN Notices
Profile-based global live-range splitting
- - Takuya Nakaike
  - Tatsushi Inagaki
  - et al.
- 2006
- ACM SIGPLAN Notices