MONDAY, APRIL 23, 2001

9:00 am—10: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 am—11:00 am   Break

11:00 am—12: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 pm—2:00 pm   Lunch (on your own)

2:00 pm—3: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 pm—4:00 pm   Break

4:00 pm—5: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 am—10: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 am—11:00 am   Break

11:00 am—12: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 pm—2:00 pm   Symposium Luncheon

2:00 pm—3: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 pm—4:00 pm   Break

4:00 pm—5: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.