25 search results - page 3 / 5 » VEP: a virtual machine for extended proof-carrying code |
GPCE
2009
Springer
14 years 2 months ago
2009
Springer
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
ACSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
POPL
1997
ACM
14 years 1 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
PPOPP
1999
ACM
14 years 2 months ago
1999
ACM
The use of threads is becoming commonplace in both sequential and parallel programs. This paper describes our design and initial experience with non-trace based performance instru...
ECOOP
2005
Springer
14 years 3 months ago
2005
Springer
One of the most distinctive features of the JavaT M programming language is the ability to specify class loading policies. Despite the popularity of class loaders, little has been ...