183
click to vote
PLDI
15 years 11 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...
133
click to vote
PLDI
15 years 11 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...
153
click to vote
PLDI
15 years 11 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 ...
128
click to vote
PLDI
15 years 11 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...
149
click to vote
PLDI
15 years 11 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