Technical Papers

  • 10/16 10:30 - 11:00 | Contract Soundness for Object-Oriented Languages
  • 10/16 11:00 - 11:30 | A Core Calculus for Java Exceptions
  • 10/16 11:30 - 12:00 | The Java Syntactic Extender
  • 10/16 13:30 - 14:00 | Points-To Analysis for Java using Annotated Constraints
  • 10/16 13:30 - 14:00 | A Study of Exception Handling and Its Dynamic Optimization in Java
  • 10/16 14:00 - 14:30 | A Parameterized Type System for Race-Free Java Programs
  • 10/16 14:00 - 14:30 | Efficient Subtyping Tests with PQ-Encoding
  • 10/16 14:30 - 15:00 | Object Race Detection
  • 10/16 14:30 - 15:00 | Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless
  • 10/16 15:30 - 16:00 | Multitasking without Compromise: A Virtual Machine Evolution
  • 10/16 16:00 - 16:30 | Portable Resource Control in Java: The J-SEAL2 Approach
  • 10/16 16:30 - 17:00 | Incremental Computation of Complex Objects Queries
  • 10/17 10:30 - 11:00 | Partial Method Compilation using Dynamic Profile Information
  • 10/17 11:00 - 11:30 | A Dynamic Optimization Framework for a Java Just-In-Time Compiler
  • 10/17 11:30 - 12:00 | Dynamic Optimistic Interprocedural Analysis: A Framework and an Application
  • 10/17 13:30 - 14:00 | Jiazzi: New-Age Components for Old-Fashioned Java
  • 10/17 14:00 - 14:30 | Modular Mixin-Based Inheritance for Application Frameworks
  • 10/17 14:30 - 15:00 | Encapsulating Objects with Confined Types
  • 10/17 15:30 - 16:00 | On Objects and Events
  • 10/17 16:00 - 16:30 | Visitor Combination and Traversal Control
  • 10/17 16:30 - 17:00 | Object-Oriented Composition Untangled
  • 10/18 10:30 - 11:00 | A Categorization of Classes based on the Visualization of their Internal Structure: The Class Blueprint
  • 10/18 11:00 - 11:30 | Regression Test Selection for Java Software
  • 10/18 11:30 - 12:00 | The Architecture of a UML Virtual Machine
  • 10/18 13:30 - 14:00 | Pretenuring for Java
  • 10/18 14:00 - 14:30 | Controlling Garbage Collection and Heap Growth to Reduce the Execution Time of Java Applications
  • 10/18 14:30 - 15:00 | An On-the-Fly Reference Counting Garbage Collector for Java