Technical Sessions
MONDAY,
APRIL 23, 2001
|
9:00 am10:30
am
|
Opening Remarks,
Best Paper Awards, and Keynote Address
Keynote: Virtual
Machines, Real Time
Greg Bollella, Sun Microsystems Laboratories, and David Hardin, aJile
Systems, Inc.
Virtual machine execution environments provide platform independence crucial to
the continued expansion of the embedded and real-time systems software markets.
Comparing sources of unpredictability in virtual and silicon machines, we argue
that a properly engineered virtual machine is indeed capable of providing highly
predictable logic execution. In particular, we show how the Real-Time
Specification for Java, through a limited set of modifications to the Java
language specification and Java virtual machine specification, provides a
predictable platform for the execution of Java code.
|
10:30 am11:00
am Break
|
|
11:00 am12:30
pm
|
Code
Generators
Session Chair: Urs Hoelzle, University of California, Santa Barbara
The Java HotSpot Server Compiler
Michael Paleczny, Christopher Vick, and Cliff Click Sun Microsystems
Can a Shape Analysis Work at Run-time?
Jeff Bogda and Ambuj Singh, University of California, Santa Barbara
SableVM: A Research Framework for the Efficient Execution of Java
Bytecode
Etienne M. Gagnon and Laurie J. Hendren, McGill University
|
12:30 pm2:00
pm Lunch (on your own)
|
|
2:00 pm3:30
pm
|
JVM
Integrity
Session Chair: Matt Welsh, University of California, Berkeley
Dynamic Type Checking in Jalapeño
Bowen Alpern, Anthony Cocchi, and David Grove, IBM T.J. Watson Research
Center
Proof Linking: Distributed Verification of Java Classfiles in the Presence of
Multiple Classloaders
Philip W. L. Fong and Robert D. Cameron, Simon Fraser University
JVM Susceptibility to Memory Errors
Deqing Chen, University of Rochester; Alan Messer, Philippe Bernadat, and Guangrui Fu, HP Labs; Zoran Dimitrijevic,
University of California, Santa Barbara; David Jeun Fung Lie, Stanford University; Durga Mannaru, Georgia Institute of Technology; Alma Riska, William and Mary College; and Dejan Milojicic, HP Labs
|
3:30 pm4:00
pm Break
|
|
4:00 pm5:30
pm
|
Work-in-Progress
Reports
Session Chair: Matt Welsh, University of California, Berkeley
Short, pithy, and fun, Work-in-Progress reports introduce interesting new or
ongoing work, and the JVM audience provides valuable discussion and feedback. A
schedule of presentations will be posted at the symposium. Please look at the
WiPs Call for
Papers instructions to submit a report.
|
|
TUESDAY,
APRIL 24, 2001
|
9:00 am10:30
am
|
Threading
Session Chair: Tony Cocchi, IBM
Implementing Fast Java Monitors with Relaxed-Locks
David Dice, Sun Microsystems, Inc.
An Executable Formal Java Virtual Machine Thread Model
J Strother Moore and George M. Porter, University of Texas at Austin
TRaDe: A Topological Approach to On-the-Fly Race Detection in Java
Programs
Mark Christiaens and Koen De Bosschere, Ghent University
|
10:30 am11:00
am Break
|
|
11:00 am12:30
pm
|
JVM
Potpourri
Session Chair: Saul Wold, Sun Microsystems, Inc.
The HotSpot Serviceability Agent: An Out-of-Process High-Level Debugger for a Java Virtual Machine
Kenneth Russell and Lars Bak, Sun Microsystems
More Efficient Network Class Loading Through Bundling
David Hovemeyer and William Pugh, University of Maryland
Deterministic Execution of Java's Primitive Bytecode Operations
Fridtjof Siebert, University of Karlsruhe, and Andy Walter, Forschungszentrum Informatik (FZI)
|
12:30 pm2:00
pm Symposium Luncheon
|
|
2:00 pm3:30
pm
|
Garbage
Collection
Session Chair: Juergen Kreileder, Blackdown
Mostly Accurate Stack Scanning
Katherine Barabash, Niv Buchbinder, Tamar Domani, Elliot K. Kolodner, Yoav Ossia, and Shlomit S. Pinter, IBM Haifa Research Laboratory; Janice Shepherd,
IBM T.J. Watson Research Laboratory; Ron Sivan, IBM Haifa Research Laboratory; and Victor Umansky, Sangate Israel
Hot-Swapping Between a Mark&Sweep and a Mark&Compact Garbage
Collector in a Generational Environment
Tony Printezis, University of Glasgow
Parallel Garbage Collection for Shared Memory Multiprocessors
Christine H. Flood and David Detlefs, Sun Microsystems Laboratories; Nir
Shavit, Tel-Aviv University; and Xiolan Zhang, Harvard University
|
3:30 pm4:00
pm Break
|
|
4:00 pm5:30
pm
|
Small
Devices
Session Chair: Tim Lindholm, Sun Microsystems, Inc.
Automatic Persistent Memory Management for the Spotless Java Virtual Machine
on the Palm Connected Organizer
Daniel Schneider, Bernd Mathiske, Matthias
Ernst, and Matthew Seidl, Sun Microsystems, Inc.
Energy Behavior of Java Applications from the Memory Perspective
N. Vijaykrishnan, M. Kandemir, S. Kim, S. Tomar, A. Sivasubramaniam, and M. J.
Irwin, The Pennsylvania State University
On the Software Virtual Machine for the Real Hardware Stack Machine
Takashi Aoki, Fujitsu Laboratories Ltd., and Takeshi Eto, Fujitsu Ltd.
|
|