Published in 1996, Richard Jones's Garbage Collection was a milestone in the area of
automatic memory management. Its widely acclaimed successor, The Garbage Collection …

Managed languages such as Java and C# are being considered for use in hard real-time
systems. A hurdle to their widespread adoption is the lack of garbage collection algorithms …

Java is becoming a viable platform for hard real-time computing. There are production and
research real-time Java VMs, as well as applications in both military and civil sector …

Calling contexts are very important for a wide range of applications such as profiling,
debugging, and event logging. Most applications perform expensive stack walking to …

Recent advances in verification have made it possible to envision trusted implementations of
real-world languages. Java with its type-safety and fully specified semantics would appear to …

This paper presents RTDroid, a variant of Android that provides predictability to Android
applications. Although there has been much interest in adopting Android in real-time …

There has been much recent interest in adding support for real-time capabilities to Android.
Proposed architectures for doing so fall into four broad categories, but only two support real …

A* memory consistency model*(or simply* memory model*) defines the possible values that
a shared-memory read may return in a multithreaded programming language. Choosing a …

We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification.
SCJ is designed to make Java amenable to writing mission-and safety-critical software. It …

The Safety Critical Java Specification intends to support the development of programs that
must be certified. The specification includes a number of annotations used to constrain the …