A proxy object is a surrogate or placeholder that controls access to another target object.
Proxies can be used to support distributed programming, lazy or parallel evaluation, access …

Memory expansions are classical means to extract parallelism from imperative programs.
However, for dynamic control programs with general memory accesses, such …

Intensional polymorphism, the ability to dispatch to different routines based on types at run
time, enables a variety of advanced implementation techniques for polymorphic languages …

We describe an implementation and a proof of correctness of binary decision diagrams
(BDDs), completely formalized in Coq. This allows us to run BDD-based algorithms inside …

The ROS2 software framework is increasingly prevalent in component-based applications
for robots and other autonomous systems. Recently added ROS2 features to support zero …

By combining existing type systems with standard type-based compilation techniques, we
describe how to write strongly typed programs that include a function that acts as at racing …

Semantic specifications do not make a systematic connection between the names and
scopes in the static structure of a program and memory layout, and access during its …

We present a static and dynamic semantics for an abstract machine that evaluates
expressions of a polymorphic programming language. Unlike traditional semantics, our …

Object-oriented applications may contain data members that can be removed from the
application without affecting program behavior. Such" dead" data members may occur due …

This paper studies information flows via timing channels in the presence of automatic
memory management. We construct a series of example attacks that illustrate that garbage …