Java takes flight: Time-portable real-time programming with exotasks
- Joshua Auerbach
- David F. Bacon
- et al.
- 2007
- LCTES 2007
Conference paper
Publications
62 results for David F. Bacon
An efficient on-the-fly cycle collection
- Harel Paz
- David F. Bacon
- et al.
- 2007
- ACM TOPLAS
PaperJava takes flight: Time-portable real-time programming with exotasks
- Joshua Auerbach
- David F. Bacon
- et al.
- 2007
- ACM SIGPLAN Notices
PaperThe ExoVM system for automatic vm and application reduction
- Ben L. Titzer
- Joshua Auerbach
- et al.
- 2007
- ACM SIGPLAN Notices
PaperCGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- ACM SIGPLAN Notices
PaperRealtime garbage collection
- David F. Bacon
- 2007
- Queue
ReviewCorrectness-preserving derivation of concurrent garbage collection algorithms
- Martin T. Vechev
- Eran Yahav
- et al.
- 2006
- ACM SIGPLAN Notices
PaperEventrons: A safe programming construct for high-frequency hard real-time applications
- Daniel Spoonhower
- Joshua Auerbach
- et al.
- 2006
- ACM SIGPLAN Notices
PaperBraids and fibers: Language constructs with architectural support for adaptive responses to memory latencies
- David F. Bacon
- Xiaowei Shen
- 2006
- IBM J. Res. Dev
PaperHigh-level real-time programming in Java
- David F. Bacon
- Perry Cheng
- et al.
- 2005
- EMSOFT 2005
Conference paper