The main conference sessions will be held in room H 104.

Wednesday - August 1

 

9:00 Welcome

 

9:30 - 10:30 Invited Talk

Erlang - Software for a Concurrent World

Joe Armstrong (Ericsson Telecom AB, Sweden)

 

11:00 - 12:30 Types Session Chair: Yossi Gil, The Technion, Israel

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)

 

14:00 - 15:30 Runtime Implementation Session Chair: Elena Zucca, Universitá di Genova, Italy

Object-Relative Addressing: Compressed Pointers in 64-bit Java Virtual Machines

Kris Venstermans, Lieven Eeckhout, Koen De Bosschere (Ghent U, Belgium)

Generational Real-time Garbage Collection - 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)

 

16:00 - 17:00 Empirical Studies Session Chair: James Noble, U of Wellington, New Zealand

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)

 

17:15 - 18:15 Panel

OOPS in the next five years - the hot topics

Judith Bishop (Chair - University of Pretoria), Tiziana Margaria, (University of Potsdam), Martin Odersky (Ecole Polytechnique Fédérale de Lausanne), Michael Stal (Siemens Corporate Technology), Dave Thomas (AITO)

Thursday - August 2

 

9:00 Awarding of Dahl-Nygaard-Prizes

AITO is very proud to announce that the Dahl-Nygaard Prizes for 2007 will be given

• to Luca Cardelli, Microsoft Research Cambridge (Senior prize)
  for his overall contribution to both theory and practice for object-oriented languages
• to Jonathan Aldrich, Carnegie Mellon University Pittsburgh (Junior prize)
  for his recent contribution to expressing and verifying software architecture in object-oriented languages.

(read more)

 

9:30 - 10:30 Talk of laureate

An Accidental Simula User

Luca Cardelli (Microsoft Research Cambridge)

 

11:00 - 12:30 Programs and Predicates Session Chair: Andrew P. Black, Portland State University, USA

Validity 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)

 

14:00 - 15:30 Language Design Session Chair: Gilad Bracha, Cadence Design Systems, USA

Matching Objects with Patterns

Burak Emir, Martin Odersky (Ecole Polytechnique Fédérale de Lausanne, Switzerland), John Williams (Language Computer Corporation, USA)

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)

 

16:00 - 18:00 Inheritance and Derivation Session Chair: Klaus Ostermann, Darmstadt University of Technology, Germany

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)

Friday - August 3

 

9:00 - 10:00 Talk of laureate

Assuring Object-Oriented Architecture

Jonathan Aldrich (Carnegie Mellon University, USA)

 

10:30 - 12:30 Aspects Session Chair: David H. Lorenz, University of Virginia, USA

MAO: 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)

 

14:00 - 15:30 Language about Language Session Chair: Ulrik Pagh Schultz, University of Southern Denmark

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 and Model Co-adaptation

Guido Wachsmuth (Humboldt-U of Berlin, Germany)