Publications

185 results at 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
Efficient control flow quantification
- - Christoph Bockisch
  - Sebastian Kanthak
  - et al.
- 2006
- ACM SIGPLAN Notices
biXid: A bidirectional transformation language for XML
- - Shinya Kawanaka
  - Haruo Hosoya
- 2006
- ACM SIGPLAN Notices
Optimizing data permutations for SIMD devices
- - Gang Ren
  - Peng Wu
  - et al.
- 2006
- ACM SIGPLAN Notices
Profile-based global live-range splitting
- - Takuya Nakaike
  - Tatsushi Inagaki
  - 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
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
Online performance auditing: Using hot optimizations without getting burned
- - Jeremy Lau
  - Matthew Arnold
  - et al.
- 2006
- ACM SIGPLAN Notices