16883 search results - page 2945 / 3377 » Generalized Non-Reducible Descriptors |
208
click to vote
PLDI
2005
ACM
16 years 15 days ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
198
click to vote
PLDI
2005
ACM
16 years 15 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
163
click to vote
PLDI
2005
ACM
16 years 15 days ago
2005
ACM
Garbage collection offers numerous software engineering advantages, but interacts poorly with virtual memory managers. Existing garbage collectors require far more pages than the ...
244
click to vote
PLDI
2005
ACM
16 years 15 days ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
202
click to vote
PLDI
2005
ACM
16 years 15 days ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...