Motivated by contemporary security challenges, we reevaluate and refine capability-based
addressing for the RISC era. We present CHERI, a hybrid capability model that extends the …

You can write a compiler pass extending Soot, as either a BodyTransformer, for a
intraprocedural analysis; or SceneTransformer, for a whole-program analysis. You choose …

Despite their immense popularity in recent years, smartphones are and will remain severely
limited by their battery life. Preserving this critical resource has driven smartphone OSes to …

Version 6 of Sun Microsystems' Java HotSpot™ VM ships with a redesigned version of the
client just-in-time compiler that includes several research results of the last years. The client …

In order to perform meaningful experiments in optimizing compilation and run-time system
design, researchers usually rely on a suite of benchmark programs of interest to the …

Whenever an array element is accessed, Java virtual machines execute a compare
instruction to ensure that the index value is within the valid bounds. This reduces the …

Optimizing compilers map programs in high-level languages to high-performance target
language code. To most programmers, such a compiler constitutes an impenetrable black …

Spatial errors (eg, Buffer overflows) continue to be one of the dominant threats to software
reliability and security in C/C++ programs. Presently, the software industry typically enforces …

Compilers use static analyses to justify program optimizations. As every optimization must
preserve the semantics of the original program, static analysis typically fall-back to …

We present a runtime environment that implements a Java Virtual Machine by co-execution
between the different functional units of the heterogeneous Cell multiprocessing platform …