Java Virtual Machine Research and Technology Symposium (JVM 2001)
Note
Monterey, California USA
April 23-24, 2001
Organization
USENIX Association
Publication Date
1900-01-01
Contents
Message from the Symposium Chair..v
Monday, April 23
Code Generators
The Java HotSpot Server Compiler..1
Can a Shape Analysis Work at
Run-time?.....................13
SableVM: A Research Framework for
the Efficient Execution of Java
Bytecode......................27
JVM Integrity
Dynamic Type Checking in
Jalapeno......................41
Proof Linking: Distributed
Verification of Java Classfiles
in the Presence of Multiple
Classloaders..................53
JVM susceptibility to Memory
Errors........................67
Tuesday, April 24
Threading
Implementing Fast Java Monitors
with Relaxed-Locks............79
An Executible Formal Java Virtual
Machine Thread Model..........91
TRaDe: A Topological Approach to
On-the-Fly Race Detection in
Java Programs................105
JVM Potpourri
The HotSpot Serviceability Agent:
An Out-of-Process High-Level
Debugger for a Java Virtual
Machine...117
More Efficient Network Class
Loading Through Bunding......127
Deterministic Execution of Java\'s
Primitive Bytecode
Operation....................141
Garbage Collection
Mostly Accurate Stack Scanning..153
Hot-Swapping Between a Mark &
Sweep and a Mark & Compact
Garbage Collector in a
Generational Environment.....171
Parallel Garbage Collection for
Shared Memory Multi-
processors...................185
Small Devices
Automatic Persistent Memory
Management for the Spotless
Java Virtual Machine on the
Palm Connected Organizer.....195
Energy Behavior of Java
Applications from the Memory
Perspective...207
On the Software Virtual Machine
for the Real Hardware Stack
Machine......................221
Keywords
Java Virtual Machine, JVM, HotSpot,
Location
A hard-copy of this is in the CERIAS Library
Subject
Java Virtual Machine Research, JVM