Dynamic Type Checking in {Jalapeño}
.
2001. Dynamic Type Checking in {Jalapeño}. Java (TM) Virtual Machine Research and Technology Symposium (JVM 01).
Proof Linking: Distributed Verification of Java Classfiles in the Presence of Multiple Classloaders
.
2001. Proof Linking: Distributed Verification of Java Classfiles in the Presence of Multiple Classloaders. Java (TM) Virtual Machine Research and Technology Symposium (JVM 01).
{JVM} Susceptibility to Memory Errors
.
2001. {JVM} Susceptibility to Memory Errors. Java (TM) Virtual Machine Research and Technology Symposium (JVM 01).
The Java {HotSpot™} Server Compiler
.
2001. The Java {HotSpot™} Server Compiler. Java (TM) Virtual Machine Research and Technology Symposium (JVM 01).
Can a Shape Analysis Work at Run-time?
.
2001. Can a Shape Analysis Work at Run-time? Java (TM) Virtual Machine Research and Technology Symposium (JVM 01).
{SableVM}: A Research Framework for the Efficient Execution of Java Bytecode
.
2001. {SableVM}: A Research Framework for the Efficient Execution of Java Bytecode. Java (TM) Virtual Machine Research and Technology Symposium (JVM 01).
Neptune: Scalable Replication Management and Programming Support for Cluster-based Network Services
.
2001. Neptune: Scalable Replication Management and Programming Support for Cluster-based Network Services. 3rd USENIX Symposium on Internet Technologies and Systems (USITS 01).
System Support for Scalable, Reliable, and Highly Manageable Web Hosting Service
.
2001. System Support for Scalable, Reliable, and Highly Manageable Web Hosting Service. 3rd USENIX Symposium on Internet Technologies and Systems (USITS 01).