The ExoVM system for automatic vm and application reduction
- Ben L. Titzer
- Joshua Auerbach
- et al.
- 2007
- ACM SIGPLAN Notices
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
62 results for David F. Bacon
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- ACM SIGPLAN Notices
Realtime garbage collection
- David F. Bacon
- 2007
- Queue
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
Braids and fibers: Language constructs with architectural support for adaptive responses to memory latencies
- David F. Bacon
- Xiaowei Shen
- 2006
- IBM J. Res. Dev
Syncopation: Generational real-time garbage collection in the metronome
- David F. Bacon
- Perry Cheng
- et al.
- 2005
- ACM SIGPLAN Notices
Kava: A Java dialect with a uniform object model for lightweight classes
- David F. Bacon
- 2003
- CCPE
A real-time garbage collector with low overhead and consistent utilization
- David F Bacon
- Perry Cheng
- et al.
- 2003
- ACM SIGPLAN Notices
Java without the coffee breaks: A nonintrusive multiprocessor garbage collector
- David F. Bacon
- Clement R. Attanasio
- et al.
- 2001
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)