TU
Main Conference - Accepted Papers

Types

Gradual Typing for Objects
Jeremy Graham Siek (U of Colorado at Boulder, USA), Walid Taha (Rice U, USA)
Generic Universe Types
Werner Dietl (ETH Zürich, Switzerland), Sophia Drossopoulou (Imperial College London, UK), Peter Müller (ETH Zürich, Switzerland)
Declarative Object Identity Using Relation Types
Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby (IBM T.J. Watson Research Center, USA)

Runtime Implementation

Object-Relative Addressing: Compressed Pointers in 64-bit Java Virtual Machines
Kris Venstermans, Lieven Eeckhout, Koen De Bosschere (Ghent U, Belgium)
Generational Metronome: A Three Part Invention for Young Objects
Daniel Frampton (Australian National U), David Bacon, Perry Cheng , David Grove (IBM T.J. Watson Research Center, USA)
AS-GC: An Efficient Generational Garbage Collector for Java Application Servers
Feng Xian, Witawas Srisa-an, ChengHuan Jiang, Hong Jiang (U of Nebraska at Lincoln, USA)

Empirical Studies

Exception Handling: A Field Study in Java and .NET
Bruno Cabral, Paulo Marques (U de Coimbra, Portugal)
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study
Philip Greenwood (Lancaster U, UK), Thiago Bartolomei (Kiel U of Applied Sciences, Germany), Eduardo Figueiredo (Lancaster U, UK), Marcos Dosea (Federal U of Pernambuco, Brazil), Alessandro Garcia, Nelio Cacho, Claudio Sant'Anna (Lancaster U, UK), Uira Kulesza (Pontifical Catholic U of Rio, Brazil), Sérgio Soares (Pernambuco State U, Brazil), Paulo Borba (Federal U of Pernambuco, Brazil), Awais Rashid (Lancaster U, UK)

Programs and Predicates

Object Invariants and Effects
Yi Lu, John Potter (U of New South Wales, Australia)
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
Patrice Chalin, Perry James (Concordia U Montréal, Canada)
Efficiently Generating Structurally Complex Inputs with Thousands of Objects
Bassem Elkarablieh, Sarfraz Khurshid, Yehia Zayour (U of Texas at Austin, USA)

Language Design

Matching Objects with Patterns
Burak Emir, Martin Odersky (Ecole Polytechnique Fédérale de Lausanne, Switzerland), John Williams
DirectFlow: a Domain-Specific Language for Information-Flow Systems
Chuan-kai Lin, Andrew P. Black (Portland State U, USA)
A Relational Model of Object Collaborations and its Use in Reasoning about Relationships
Stephanie Balzer, Thomas R. Gross (ETH Zürich, Switzerland), Patrick Eugster (Purdue U, USA)

Inheritance and Derivation

JavaGI: Generalized Interfaces for Java
Stefan Wehr (U of Freiburg, Germany), Ralf Lämmel (Microsoft Corp., USA), Peter Thiemann (U of Freiburg, Germany)
Metaprogramming with Traits
John Reppy, Aaron Turon (U of Chicago, USA)
Morphing: Safely Shaping a Class in the Image of Others
Shan Shan Huang, David Zook (Georgia Institute of Technology, USA), Yannis Smaragdakis (U of Oregon, USA)
A Higher Abstraction Level using First-Class Inheritance Relations
Marko van Dooren, Eric Steegmans (Katholieke U Leuven, Belgium)

Aspects

Ownership and Effects for more Effective Reasoning about Aspects
Curtis Clifton (Rose-Hulman Institute of Technology, USA), Gary T. Leavens (Iowa State U, USA), James Noble (Victoria U of Wellington, New Zealand)
Joinpoint Inference from Behavioral Specification to Implementation
Thomas Cottenier, Aswin van den Berg (Motorola Labs, Illinois, USA), Tzilla Elrad (Illinois Institute of Technology, USA)
A Machine Model for Aspect-Oriented Programming
Michael Haupt (Hasso Plattner Institute for Software Systems Engineering, Germany), Hans Schippers (U of Antwerp, Belgium)
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
Eric Bodden, Laurie Hendren (McGill U, Montreal, Canada), Ondrej Lhoták (U of Waterloo, Canada)

Language about Language

Tracking Linear and Affine Resources with Java(X)
Markus Degen, Peter Thiemann, Stefan Wehr (U of Freiburg, Germany)
Attribute Grammar-based Language Extensions for Java
Eric Van Wyk, Lijesh Krishnan, August Schwerdfeger, Derek Bodin (U of Minnesota, USA)
Metamodel Adaptation
Guido Wachsmuth (Humboldt-U of Berlin, Germany)
Maintained by webmaster · Version of March 29, 2007 Valid XHTML 1.1