PLDI
15 years 2 months ago
2006 ACM 
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
PLDI
15 years 2 months ago
2006 ACM 
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
PLDI
15 years 2 months ago
2006 ACM 
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
PLDI
15 years 2 months ago
2006 ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
PLDI
15 years 2 months ago
2006 ACM 
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
|
Programming Languages