Scoped types for real-time Java (2004)

Cached

Download Links

by Tian Zhao
Venue:In Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS04
Citations:36 - 14 self

Active Bibliography

13 Scoped types and aspects for real-time Java memory management – Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao - 2007
5 A Real-time Java Virtual Machine for Avionics, An Experience Report – Jason Baker, Austin Armbruster, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, David Holmes, Austin Armbruster, Edward Pla - 2006
18 Scoped types and aspects for real-time Java – Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao - 2006
8 Implicit Ownership Types for Memory Management – Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek
4 Memory Management for Real-time Java: State of the Art – Filip Pizlo, Jan Vitek
Ownership Types for Safe Region-Based . . . – Chandrasekhar Boyapati, Alexandru Sălcianu, William Beebee, Jr., Martin Rinard - 2003
19 Memory safety without garbage collection for embedded applications – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner - 2005
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
High-Performance Transactional Event Processing – Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek
1 On the Development of Dynamic Real-Time Applications in the RTSJ - A Model for Expressing Dynamic Memory Requirements – Andrew Borg - 2004
92 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
Quantitative dynamic-memory analysis for Java ‡ – Diego Garbervetsky, Sergio Yovine, Martín Rouaux, Ro Taboada
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
51 Memory Safety Without Runtime Checks or Garbage Collection – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner - 2003
72 Reconsidering custom memory allocation – Emery D. Berger - 2002
14 Safe and flexible memory management in Cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2003
SAFECODE: A PLATFORM FOR DEVELOPING RELIABLE SOFTWARE IN UNSAFE LANGUAGES BY – Dinakar Dhurjati
36 SAFECode: Enforcing Alias Analysis for Weakly Typed Languages – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve
A Static Memory Safety Annotation System for Safety Critical Java – Daniel Tang, Ales Plsek, Kelvin Nilsen, Jan Vitek