July 3-7, Nantes (France)
Conference Program
The main conference takes place on
Wednesday,
Thursday,
and Friday.
Wednesday (July, 5th)
Program, July 5th (8:30 - 10:00)
| 8:30 |
Opening |
| 9:00 - 10:00 |
Keynote |
-
Design Patterns – 15 Years Later [abstract]
Erich Gamma (IBM's OTI Lab, Zürich, Switzerland)
Technical Papers
Program, July 5th (10:30 - 12:00)
| 10:30 - 12:00 |
Program Query and Persistence |
-
CodeQuest: Scalable Source Code Queries with Datalog
Elnar Hajiyev, Mathieu Verbaere, Oege de Moor
(Programming Tools Group, University of Oxford, United Kingdom)
-
Efficient Object Querying for Java
Darren Willis,
David Pearce,
James Noble (Victoria University of Wellington, New Zealand)
-
Automatic Prefetching by Traversal Profiling in Object Persistence Architectures
Ali Ibrahim,
William R. Cook (University of Texas at Austin, USA)
Program, July 5th (13:30 - 15:30)
| 13:30 - 15:30 |
Ownership and Concurrency |
-
The Runtime Structure of Object Ownership
Nick Mitchell (IBM TJ Watson Research Center, USA)
-
Flexible Ownership Types with Owner Variance
Yi Lu,
John Potter (The University of New South Wales, Australia)
-
STARS: Scoped Types and Aspects for Real-Time Systems
Chris Andreae, James Noble (Victoria University of Wellington, NZ)
Yvonne Coady, Celina Gibbs (University of Victoria, Canada)
Jan Vitek (Purdue University, USA)
Tian Zhao (University of Wisconsin – Milwaukee, USA)
-
Transparently Reconciling Transactions with Locking for Java Synchronization
Adam Welc,
Antony Hosking,
Suresh Jagannathan (Purdue University, USA)
Program, July 5th (16:00 - 18:00)
| 16:00 - 18:00 |
Special 20th Anniversary Session |
Thursday (July, 6th)
Program, July 6th (9:00 - 10:00)
| 9:00 - 10:00 |
Keynote |
-
Turning the Network into a Database with Active XML [abstract]
Serge Abiteboul (INRIA-Futurs, LRI, Orsay, France)
Technical Papers
Program, July 6th (10:30 - 12:00)
| 10:30 - 12:00 |
Languages |
-
SuperGlue: Component Programming with Object-oriented Signals
Sean McDirmid (Ecole Polytechnique Federale Lausanne, Switzerland)
Wilson C. Hsieh (University of Utah, USA)
-
Ambient-oriented Programming in AmbientTalk
Jessie Dedecker,
Tom Van Cutsem,
Stijn Mostinckx,
Theo D'Hondt,
Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium)
-
Responders: Language Support for Interactive Applications
Brian Chin,
Todd Millstein (University of California, Los Angeles, USA)
Program, July 6th (14:00 - 15:00)
| 14:00 - 15:00 |
Type Theory I |
-
Variance and Generalized Constraints for C# Generics
Andrew Kennedy,
Claudio Russo (Microsoft Research Ltd, UK)
Burak Emir (EPFL, Lausanne, Switzerland)
Dachuan Yu (DoCoMo Communications Labs USA, USA)
-
A Semantic Analysis of C++ Templates
Jeremy Siek,
Walid Taha (Rice University, USA)
Program, July 6th (16:00 - 17:00)
| 16:00 - 17:00 |
Type Theory II |
-
Session Types for Object-Oriented Languages
Mariangiola Dezani-Ciancaglini (Universita di Torino, Italy)
Dimitris Mostrous,
Nobuko Yoshida,
Sophia Drossopoulou (Imperial College London, UK)
-
Parameterized Modules for Classes and Extensible Functions
Keunwoo Lee,
Craig Chambers (University of Washington, USA)
Friday (July, 7th)
Program, July 7th (9:00 - 10:00)
| 9:00 - 10:00 |
Keynote |
-
The Closing of the Frontier [abstract]
Ralph Johnson (University of Illinois, USA)
Technical Papers
Program, July 7th (10:30 - 12:00)
| 10:30 - 12:00 |
Tools |
-
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking
Tao Xie (Department of Computer Science, North Carolina State University, USA)
-
Automated Detection of Refactorings in Evolving Components
Danny Dig,
Can Comertoglu,
Darko Marinov,
Ralph Johnson (University of Illinois, USA)
-
Modeling Runtime Behavior in Framework-Based Applications
Nick Mitchell,
Gary Sevitsky (IBM TJ Watson Research Center, USA)
Harini Srinivasan (IBM Software Group, USA)
Program, July 7th (13:00 - 14:30)
| 13:00 - 14:30 |
Modularity |
-
Modular Software Upgrades for Distributed Systems
Sameer Ajmani (Google, Inc., USA)
Barbara Liskov (MIT Computer Science and Artificial Intelligence Laboratory, USA)
Liuba Shrira (Brandeis University Computer Science Department, USA)
-
Demeter Interfaces: Adaptive Programming without Surprises
Therapon Skotiniotis,
Jeffrey Palm,
Karl Lieberherr (Northeastern University, USA)
-
Managing the Evolution of Aspect-Oriented Software with Model-based Pointcuts
Andy Kellens (Vrije Universiteit Brussel, Belgium)
Kim Mens (Université Catholique de Louvain, Belgium)
Johan Brichau,
Kris Gybels (Vrije Universiteit Brussel, Belgium)
Program, July 7th (14:30 - 14:45)
| 14:30 - 14:45 |
Closing |
