9:00-10:00 CC invited lecture Dimensions of Precision in Flow Analysis of OOPLs Barbara Ryder (Rutgers University, USA)
10:00-10:30 R E F R E S H M E N T S
10:30-12:30 CC: Java Polyglot: An Extensible Compiler Framework for Java Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers (Cornell University, USA) Scaling Java Points-To Analysis Using Spark Ondřej Lhoták, Laurie Hendren (McGill University, CDN) Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences Etienne Gagnon, Laurie Hendren (Université du Québec à Montréal and McGill University, CDN) Integrating Generations with Advanced Reference Counting Garbage Collectors Hezi Azatchi (IBM Haifa, IL), Erez Petrank (Technion, IL)	10:30-12:30 FOSSACS: Syntax and Semantics of Programming Languages Multi-Level Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler (University of Leicester, UK) A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli (Universidad Nacional de La Plata, RA, and Stevens Institute of Technology, USA) A Game Semantics of Linearly Used Continuations James Laird (University of Sussex, UK) A Monadic Multi-stage Metalanguage Eugenio Moggi, Sonia Fagorzi (University of Genova, I)	10:30-12:30 TACAS: Abstractions and Counter-examples Proof-like Counter-Examples Arie Gurfinkel, Marsha Chechik (University of Toronto, CDN) Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi (The Technion, IL & Intel Corporation, IL & Rice University, USA) Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, Michael Theobald (Carnegie Mellon University, USA & Universitat Dortmund, D) Counter-example Guided Predicate Abstraction of Hybrid Systems Rajeev Alur, Thao Dang, Franjo Ivancic (University of Pennsylvania, USA & CNRS, Verimag, F)
12:30-14:30 L U N C H   B R E A K
14:30-16:30 CC: Pot Pourri The Interprocedural Express-lane Transformation David Melski (GrammaTech Inc., USA), Thomas Reps (University of Wisconsin, USA) Automatic Detection of Uninitialized Variables Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho (École des Mines de Paris, F) Generalised Regular Parsers Adrian Johnstone, Elizabeth Scott (University of London, UK) Rapid and Robust Compiler Construction Using Template-Based Metacompilation C. van Reeuwijk (Delft University of Technology, NL)	14:30-16:30 FOSSACS: From Trees to Types Counting and Equality Constraints for Multitree Automata Denis Lugiez (CNRS and Université de Provence, F) Manipulating Trees with Hidden Labels Luca Cardelli (Microsoft Research, UK) Philippa Gardner (Imperial College, UK) Giorgio Ghelli (Università di Pisa, I) Type Assignment for Intersections and Unions in Call-by-Value Languages Joshua Dunfield, Frank Pfenning (Carnegie Mellon University, USA) Generalized Iteration and Coiteration for Higher-Order Nested Datatypes Andreas Abel (University of Munich, D) Ralph Matthes (Université de Paris VII, F, and University of Munich, D) Tarmo Uustalu (Tallinn Technical University, EST)	14:30-16:30 TACAS: Real-Time and Scheduling Schedulability Analysis Using Two Clocks Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi (Uppsala University, S) On Optimal Scheduling under Uncertainty Yasmina Abdeddaim, Eugene Asarin, Oded Maler (VERIMAG, F) Static Guard Analysis in Timed Automata Verification Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim G. Larsen (Aalborg University, DK & ENS de Cachan, F) Tool demo: Moby/DC - A Tool for Model-Checking Parametric Real-Time Specifications Henning Dierks, Josef Tapken (University of Oldenburg, D) Tool demo:VERICS: A Tool for Verifying Timed Automata and Estelle Specifications Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Polrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny (Institute of Comp. Science PAS, PL)
16:30-17:00 R E F R E S H M E N T S
17:00-18:00 Microsoft lecture Programming language support for data and XML Erik Meijer (Microsoft Corporation, USA)