The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)

Java Virtual Machine Research and Technology Symposium (JVM 2001)

Entry type

proceedings

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

Isbn

1-880446-11-1

Keywords

Java Virtual Machine, JVM, HotSpot,

Language

English

Location

A hard-copy of this is in the CERIAS Library

Subject

Java Virtual Machine Research, JVM

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.