Session 1 9:00 - 10:30 |
Welcome Welcome
Invited talk When Abstraction Fails
Andreas Zeller, Saarland Univ., Saarbrücken, Germany Location: George Square Lecture Theatre |
Coffee |
|
Session 2 11:00 - 12:30 |
Compilation 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) |
Lunch |
|
Session 3 14:30 - 16:30 |
Parallelism 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) |
Coffee |
|
Session 4 17:00 - 18:30 |
Memory Management 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) |
Coffee |
|
Session 2 10:30 - 12:30 |
Program Transformation 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) |
Lunch |
|
Session 3 14:30 - 16:30 |
Tool Demonstrations 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) |
Coffee |
|
Session 4 17:00 - 18:30 |
Pointer Analysis 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) |
Session 1 9:00 - 10:00 |
Unifying invited talk Model Checking
for Nominal Calculi
Ugo Montanari, Univ. Pisa, Italy |
Coffee |
|
Lunch |
|
Session 3a 14:30 - 15:30 |
Unifying invited talk Esterel v7:
From Verified Formal Specification to Efficient Industrial Designs
Gérard Berry, Esterel Technologies, Villeneuve-Loubet, France |
Coffee |
|
Evening 19:30 for 20:00 |
Banquet 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. |