PROGRAMME OF FRIDAY

Programme of Friday, April 12

9.00
10.00 CC
and SPIN Invited Talk

Session chair: Nigel Horspool

Abstract Interpretation: Theory and Practice
Patrick Cousot (ENS, Paris, F)

10.00
10.45 Coffee

10.45
12.45 CC
Energy Consumption Optimizations

Session chair:

Linear Scan Register Allocation in the Context of SSA Form and Register Constraints
Hanspeter Mvssenbvck, Michael Pfeiffer (University of Linz, Austria)
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation
Andrea Cilio, Henk Corporaal (Technical University of Delft, Netherlands)
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors
S. Rele, S. Pande, S. Onder, R. Gupta (University of Arizona, USA)
Influence of Loop Optimizations on Energy Consumption of Multi-Bank Memory Systems
M. Kandemir, I. Kolcu (Pennsylvania State University, USA, & University of Manchester, UK)
FOSSACS
Semantics

Session chair: Peter Mosses

Varieties of Effects
Carsten Führmann (University of Birmingham, UK)
Notions of computation determine monads
Gordon Plotkin, John Power (University of Edinburgh, UK)
A First-Order One-Pass CPS Transformation
Olivier Danvy, Lasse R. Nielsen (University of Aarhus, DK)
The Informatic Derivative at a Compact Element
Keye Martin (Oxford University, UK)
SPIN

12.45
14.15 Lunch

14.15
15.45 CC
Domain-Specific Languages and Tools

Session chair:

StreamIt: A Language for Streaming Applications
Bill Thies, Michal Karczmarek, Saman Amarasinghe (Massachusetts Institute of Technology, USA)
Compiling Mercury to High-level C Code
Fergus Henderson, Zoltan Somogyi (University of Melbourne, Australia)
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
George C. Necula, Scott McPeak, S. P. Rahul, Westley Weimer (University of California at Berkeley, USA)
FOSSACS
Process Calculi

Session chair: Andy Gordon

Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation
Gianluigi Ferrari, Ugo Montanari, Marco Pistore (Universitá di Pisa, I and ITC-IRST Trento, I)
Linearity and Bisimulation
Nobuko Yoshida, Kohei Honda, Martin Berger (University of Leicester, UK and University of London, UK)
On Compositional Reasoning in the Spi-Calculus
Michele Boreale and Daniele Gorla (Universitá di Firenze, I)
SPIN

15.45
16.15 Coffee

16.15
17.45 CC
Loop and Array Optimizations

Session chair:

Effective Enhancement of Loop Versioning in Java
Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky (Excelsior Corporation, Russia)
Value Profile Guided Stride Prefetching for Irregular Code
Youfeng Wu, Mauricio Serrano, Rakesh Krishnaiyer, Wei Li, Jesse Fang (Intel Corp., USA)
A Comprehensive Approach to Array Bounds Check Elimination for Java
Feng Qian, Laurie Hendren, Clark Verbrugge (McGill University, Canada)
FOSSACS
Time and Probability

Session chair: Pierpaolo Degano

Proving Correctness of Timed Concurrent Constraint Programs
F. de Boer, M. Gabbrielli, M.C. Meo (Universiteit Utrecht, NL, Universitá di Udine, I, Universitá di L'Aquila, I)
On Model Checking Durational Kripke Structures
F. Laroussinie, N. Markey, and Ph. Schnoebelen (ENS de Cachan, F)
The Demonic Product of Probabilistic Relations
Ernst-Erich Doberkat (University of Dortmund, D)
SPIN

17.45
18.00 Closing Session

20.00 SPIN dinner

9.00 10.00	CC and SPIN Invited Talk Session chair: Nigel Horspool Abstract Interpretation: Theory and Practice Patrick Cousot (ENS, Paris, F)
10.00 10.45	Coffee
10.45 12.45	CC Energy Consumption Optimizations Session chair: Linear Scan Register Allocation in the Context of SSA Form and Register Constraints Hanspeter Mvssenbvck, Michael Pfeiffer (University of Linz, Austria) Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation Andrea Cilio, Henk Corporaal (Technical University of Delft, Netherlands) Optimizing Static Power Dissipation by Functional Units in Superscalar Processors S. Rele, S. Pande, S. Onder, R. Gupta (University of Arizona, USA) Influence of Loop Optimizations on Energy Consumption of Multi-Bank Memory Systems M. Kandemir, I. Kolcu (Pennsylvania State University, USA, & University of Manchester, UK)	FOSSACS Semantics Session chair: Peter Mosses Varieties of Effects Carsten Führmann (University of Birmingham, UK) Notions of computation determine monads Gordon Plotkin, John Power (University of Edinburgh, UK) A First-Order One-Pass CPS Transformation Olivier Danvy, Lasse R. Nielsen (University of Aarhus, DK) The Informatic Derivative at a Compact Element Keye Martin (Oxford University, UK)	SPIN
12.45 14.15	Lunch
14.15 15.45	CC Domain-Specific Languages and Tools Session chair: StreamIt: A Language for Streaming Applications Bill Thies, Michal Karczmarek, Saman Amarasinghe (Massachusetts Institute of Technology, USA) Compiling Mercury to High-level C Code Fergus Henderson, Zoltan Somogyi (University of Melbourne, Australia) CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs George C. Necula, Scott McPeak, S. P. Rahul, Westley Weimer (University of California at Berkeley, USA)	FOSSACS Process Calculi Session chair: Andy Gordon Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation Gianluigi Ferrari, Ugo Montanari, Marco Pistore (Universitá di Pisa, I and ITC-IRST Trento, I) Linearity and Bisimulation Nobuko Yoshida, Kohei Honda, Martin Berger (University of Leicester, UK and University of London, UK) On Compositional Reasoning in the Spi-Calculus Michele Boreale and Daniele Gorla (Universitá di Firenze, I)	SPIN
15.45 16.15	Coffee
16.15 17.45	CC Loop and Array Optimizations Session chair: Effective Enhancement of Loop Versioning in Java Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky (Excelsior Corporation, Russia) Value Profile Guided Stride Prefetching for Irregular Code Youfeng Wu, Mauricio Serrano, Rakesh Krishnaiyer, Wei Li, Jesse Fang (Intel Corp., USA) A Comprehensive Approach to Array Bounds Check Elimination for Java Feng Qian, Laurie Hendren, Clark Verbrugge (McGill University, Canada)	FOSSACS Time and Probability Session chair: Pierpaolo Degano Proving Correctness of Timed Concurrent Constraint Programs F. de Boer, M. Gabbrielli, M.C. Meo (Universiteit Utrecht, NL, Universitá di Udine, I, Universitá di L'Aquila, I) On Model Checking Durational Kripke Structures F. Laroussinie, N. Markey, and Ph. Schnoebelen (ENS de Cachan, F) The Demonic Product of Probabilistic Relations Ernst-Erich Doberkat (University of Dortmund, D)	SPIN
17.45 18.00	Closing Session
20.00	SPIN dinner