Thin slicing
- Manu Sridharan
- Stephen J. Fink
- et al.
- 2007
- ACM SIGPLAN Notices
Publications
Date
Featured collections
Popular topics
185 results at ACM SIGPLAN Notices
The ExoVM system for automatic vm and application reduction
- Ben L. Titzer
- Joshua Auerbach
- et al.
- 2007
- ACM SIGPLAN Notices
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- 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
The DaCapo benchmarks: Java benchmarking development and analysis
- Stephen M. Blackburn
- Robin Garner
- et al.
- 2006
- ACM SIGPLAN Notices
Efficient control flow quantification
- Christoph Bockisch
- Sebastian Kanthak
- et al.
- 2006
- ACM SIGPLAN Notices
Adapting virtual machine techniques for seamless aspect support
- Christoph Bockisch
- Matthew Arnold
- 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