Welcome

When Abstraction Fails
Andreas Zeller, Saarland Univ., Saarbrücken, Germany
Location: George Square Lecture Theatre

Source-level Debugging for Multiple Languages With Modest Programming Effort
Sukyoung Ryu and Norman Ramsey (Harvard Univ., Cambridge, USA)

Compilation of Generic Regular Path Expressions Using C++ Class Templates
Luca Padovani (Univ. of Bologna, Italy)

XML Goes Native: Run-time Representations for Xtatic
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce and Alan Schmitt (Univ. of Pennsylvania, Philadelphia, USA)

Boosting the Performance of Multimedia Applications Using SIMD Instructions
Weihua Jiang, Chao Mei, Jiahua Zhu, Binyu Zang, Chuanqi Zhu (Fudan Univ., China), Bo Huang and Jianhui Li (Intel, China)

Task Partitioning for Multi-Core Network Processors
Rob Ennals, Richard Sharp (Intel Research Cambridge, UK) and Alan Mycroft (Cambridge Univ., UK)

Experiences with Enumeration of Integer Projections of Parametric Polytopes
Sven Verdoolaege, Maurice Bruynooghe (Katholieke Universiteit Leuven, Belgium), Kristof Beyls (Ghent Univ., Belgium) and Francky Catthoor (IMEC, Leuven, Belgium)

Generalized Index-Set Splitting
Christopher Barton, José Nelson Amaral (Univ. of Alberta, Edmonton, Canada), Bob Blainey and Arie Tal (IBM Toronto Software Laboratory, Canada)

Age-Oriented Garbage Collection
Harel Paz, Erez Petrank (Technion, Haifa, Israel) and Stephen M. Blackburn (Australian National Univ., Canberra, Australia)

Optimizing C Multithreaded Memory Management Using Thread-Local Storage
Yair Sade, Mooly Sagiv (Tel-Aviv Univ., Israel) and Ran Shaham (IBM Haifa Laboratories, Israel)

An Efficient On-the-Fly Cycle Collection
Harel Paz, Erez Petrank (Technion, Haifa, Israel), David F. Bacon, V. T. Rajan (IBM T.J. Watson Research Center, Yorktown Heights, USA) and Elliot K. Kolodner (IBM Haifa Research Lab, Israel)

Data Slicing: Separating the Heap into Independent Regions
Jeremy Condit and George C. Necula (Univ. of California, Berkeley, USA)

A Compiler-Based Approach to Data Security
Mahmut Kandemir, Feihui Li, Richard Brooks and Guilin Chen (Pennsylvania State Univ., USA)

Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules
Karina Olmos and Eelco Visser (Univ. of Utrecht, The Netherlands)

Verification of Source Code Transformations by Program Equivalence Checking
K.C. Shashidhar, Maurice Bruynooghe, Francky Catthoor and Gerda Janssens (IMEC, Leuven, Belgium and Katholieke Univ. of Leuven, Belgium)

Hob: A Tool for Verifying Data Structure Consistency
Patrick Lam, Viktor Kuncak and Martin Rinard (MIT, Cambridge, USA)

Jazz: A Tool for Demand-Driven Structural Testing
Jonathan Misurda, James A. Clause, Juliya L. Reed, Prathyusha Gandra, Bruce Childers (Univ. of Pittsburgh, USA) and Mary Lou Soffa (Univ. of Virginia, Charlottesville, USA)

Tiger - An Interpreter Generation Tool
Kevin Casey, David Gregg (Trinity College, Dublin, Ireland) and M. Anton Ertl (TU Vienna, Austria)

CodeSurfer/x86 - A Platform for Analyzing x86 Executables
Gogul Balakrishnan, Thomas Reps (Univ. of Wisconsin, Madison, USA), Radu Gruian and Tim Teitelbaum (GrammaTech, Ithaca, USA)

A Study of Type Analysis for Speculative Method Inlining in a JIT Environment
Feng Qian and Laurie Hendren (McGill Univ., Montreal, Canada)

Completeness Analysis for Incomplete Object-Oriented Programs
Jingling Xue and Phung Hua Nguyen (Univ. of New South Wales, Sydney, Australia)

Using Inter-procedural Side-effect Information in JIT Optimizations
Anatole Le, Ondrej Lhoták and Laurie Hendren (McGill Univ., Montreal, Canada)

Model Checking for Nominal Calculi
Ugo Montanari, Univ. Pisa, Italy

Esterel v7: From Verified Formal Specification to Efficient Industrial Designs
Gérard Berry, Esterel Technologies, Villeneuve-Loubet, France

Conference Dinner at the National Museum of Scotland, Chambers Street, preceded by a reception.

When you enter the museum, the first sight is the magnificent Main Hall, with its elegant bird-cage design. Flooded with natural light, it provides a great sense of space and tranquillity, with fountains and fishponds. It is a major exhibit in its own right and contains many wonderful objects.

During the dinner it will not be possible to see the exhibits of the museum, but here is what you will miss: Thirty-six galleries of varying sizes present artefacts from around the globe and natural history specimens. See everything from steamships to sculptures, Egypt to evolution, Dolly the Sheep to design classics and black holes to brown bears.