PPPJ 2011: 9th International Conference on the Principles and Practice of Programming in Java

August 24-26, 2011, Kongens Lyngby, Denmark

Picture of Nyhavn, Copenhagen


Wednesday Aug 24 Thursday Aug 25 Friday Aug 26
09:00-10:30 Languages and Parallelism Tools
10:30-11:00 Coffee break Coffee break
11:00-12:30 Program Testing and Analysis, Embedded Java Virtual Machine Optimizations
12:30-13:45 Registration Lunch break End of conference
13:45-14:00 Conference Opening
14:00-15:30 Keynote Formal Techniques
15:30-16:00 Coffee break Coffee break
16:00-17:30 Virtual Machines Compiler Optimizations
18:00 Leave for dinner Leave for dinner
19:00 Reception Conference Dinner

Virtual Machines

  • Du Li and Witawas Srisa-An: Quarantine: A Framework to Mitigate Memory Errors in JNI Applications.
  • Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Martin Schoeberl, and Mira Mezini: Portable and Accurate Collection of Calling-Context-Sensitive Bytecode Metrics for the Java Virtual Machine.
  • Marco Kaufmann, Matthias Häsing, Thomas Preußer, and Rainer Spallek: The Java Virtual Machine in Retargetable, High-Performance Instruction Set Simulation.

Languages and Parallelism

  • Lorenzo Bettini: A DSL for Writing Type Systems for Xtext Languages.
  • Stefan Gudenkauf and Wilhelm Hasselbring: Space-Based Multi-Core Programming in Java.
  • Vincent Cave, Jisheng Zhao, Jun Shirako, and Vivek Sarkar: Habanero-Java: The New Adventures of Old X10.

Program Testing and Analysis, Embedded Java

  • Martin Schoeberl: ejIP: A TCP/IP Stack for Embedded Java.
  • Coen De Roover, Carlos Noguera, Andy Kellens, and Viviane Jonckers: The Soul Tool Suite for Querying Programs in Symbiosis with Eclipse.
  • Jonathan Misurda, Bruce R. Childers, and Mary Lou Soffa: Jazz2: A Flexible and Extensible Framework for Structural Testing in a Java VM.

Formal Techniques

  • Martin Plümicke: Well-typings for Java_lambda.
  • Andrea Corradi, Marco Servetto, and Elena Zucca: DeepFJig - Modular Composition of Nested Classes.
  • Lorenzo Bettini and Betti Venneri: Object Reuse and Behavior Adaptation in Java-like Languages.

Compiler Optimizations

  • Mohammed Javed Absar and Deepak Shekhar: Eliminating Partially-Redundant Array-Bounds Check in the Android Dalvik JIT Compiler.
  • Christian Häubl and Hanspeter Mössenböck: Trace-based Compilation for the Java HotSpot Virtual Machine.


  • Nathan P. Ricci, Samuel Z. Guyer, and J. Eliot B. Moss: Tool Demonstration: Elephant Tracks - Generating Program Traces with Object Death Records.
  • Achille Peternier, Daniele Bonetta, Walter Binder, and Cesare Pautasso: Tool Demonstration: Overseer - Low-Level Hardware Monitoring and Management for Java.
  • Jarred Payne, Vincent Cave, Raghavan Raman, Mathias Ricken, Robert Cartwright, and Vivek Sarkar: Tool Demonstration: DrHJ - A Lightweight Pedagogic IDE for Habanero Java.

Virtual Machine Optimizations

  • Thomas Schatzl, Laurent Daynes, and Hanspeter Mössenböck: Optimized Memory Management for Class Metadata in a JVM.
  • Jason Mccandless and David Gregg: Optimizing Interpreters by Tuning Opcode Orderings on Virtual Machines for Modern Architectures.
  • Filip Pizlo, Daniel Frampton, and Antony L. Hosking: Fine-grained Adaptive Biased Locking.