Publications

185 results at ACM SIGPLAN Notices

Adapting virtual machine techniques for seamless aspect support
- - Christoph Bockisch
  - Matthew Arnold
  - 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
The DaCapo benchmarks: Java benchmarking development and analysis
- - Stephen M. Blackburn
  - Robin Garner
  - et al.
- 2006
- ACM SIGPLAN Notices
biXid: A bidirectional transformation language for XML
- - Shinya Kawanaka
  - Haruo Hosoya
- 2006
- ACM SIGPLAN Notices
Correctness-preserving derivation of concurrent garbage collection algorithms
- - Martin T. Vechev
  - Eran Yahav
  - et al.
- 2006
- ACM SIGPLAN Notices
Profile-based global live-range splitting
- - Takuya Nakaike
  - Tatsushi Inagaki
  - et al.
- 2006
- ACM SIGPLAN Notices
Shared memory programming for large scale machines
- - Christopher Bartont
  - Cǎlin Caşcaval
  - 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
Eventrons: A safe programming construct for high-frequency hard real-time applications
- - Daniel Spoonhower
  - Joshua Auerbach
  - et al.
- 2006
- ACM SIGPLAN Notices
Accurate, efficient, and adaptive calling context profiling
- - Xiaotong Zhuang
  - Mauricio J. Serrano
  - et al.
- 2006
- ACM SIGPLAN Notices