162
Voted
PLDI
15 years 9 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...
122
Voted
PLDI
15 years 9 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...
144
Voted
PLDI
15 years 9 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 ...
117
Voted
PLDI
15 years 9 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...
135
Voted
PLDI
15 years 9 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