Programme of Main Conferences at ETAPS 2006

Programme of Monday, March 27

08:45 - 10:00 SESSION 1 (Monday)

Welcome
ESOP - Invited Talk (chair: Peter Sestoft, room: EI 7)
Types for Hierarchic Shapes
Sophia Drossopoulou (Imperial College London, UK)

10:00 - 10:30 Coffee

10:30 - 12:00 SESSION 2 (Monday)

ESOP - Types for Implementations (chair: Peter Sestoft, room: EI 7)
Linear Regions Are All You Need
Matthew Fluet (Cornell Univ., USA), Greg Morrisett, and Amal Ahmed (Harvard Univ., USA)
Type-Based Amortised Heap-Space Analysis
Martin Hofmann (LMU München, D) and Steffen Jost (Univ. of St. Andrews, UK)
Haskell is Not Not ML
Ben Rudiak-Gould, Alan Mycroft (Univ. of Cambridge, UK), and Simon Peyton Jones (Microsoft Research, UK)
FASE - Distributed Systems (chair: Reiko Heckel, room: EI 9)
GPSL: A Programming Language for Service Implementation
Dominic Cooney, Marlon Dumas, and Paul Roe (Queensland Univ. of Technology, AUS)
A Formal Approach to Event-Based Architectures
José Luiz Fiadeiro (Univ. of Leicester, UK) and Antónia Lopes (Univ. of Lisbon, P)
Engineering Self-protection for Autonomous Systems
Manuel Koch and Karl Pauls (Freie Univ. Berlin, D)

12:00 - 14:00 Lunch

14:00 - 16:00 SESSION 3 (Monday)

ESOP - Proofs and Types (chair: Didier Rémy, room: EI 10)
Coinductive Big-Step Operational Semantics
Xavier Leroy (INRIA Rocquencourt, F)
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
Amal Ahmed (Harvard Univ., USA)
Approaches to Polymorphism in Classical Sequent Calculus
Alexander J. Summers and Steffen van Bakel (Imperial College London, UK)
Pure Pattern Calculus
Barry Jay (Univ. of Technology Sydney, AUS) and Delia Kesner (PPS, CNRS and Univ. of Paris, F)
FASE - Orthogonal Process Activities (chair: Tetsuo Tamai, room: EI 8)
A Graph-based Approach to Transform XML Documents
Gabriele Taentzer (Technische Univ. Berlin, D) and Giovanni Toffetti Carughi (Politecnico di Milano, I)
OMake: Designing a Scalable Build Process
Jason Hickey and Aleksey Nogin (California Institute of Technology, USA)
Automatic Generation of Tutorial Systems from Development Specification
Hajime Iwata (Waseda Univ., J), Junko Shirogane (Tokyo Woman's Christian Univ., J), and Yoshiaki Fukazawa (Waseda Univ., J)
A Software Implementation Progress Model
Dwayne Towell (Abilene Christian Univ., USA) and Jason Denton (Texas Tech Univ., USA)
TACAS - Parametrization and Slicing (chair: Holger Hermanns, room: EI 7)
Automatic Verification of Parameterized Data Structures
Jyotirmoy Deshmukh, E. Allen Emerson, and Prateek Gupta (The Univ. of Texas at Austin, USA)
Parameterized Verification of Pi-Calculus Systems
Ping Yang (SUNY at Stony Brook, USA), Samik Basu, and C.R. Ramakrishnan (Iowa State Univ., USA)
Easy Parameterized Verification of Biphase Mark and 8N1 Decoders
Geoffrey M. Brown (Indiana Univ., Bloomington, USA) and Lee Pike (Galois Connections, Inc.)
Evaluating the Effectiveness of Program Slicing for Model Reduction of Concurrent Object-Oriented Programs.
Matthew B. Dwyer (Univ. of Nebraska, USA), John Hatcliff, Matthew Hoosier, Venkatesh Ranganath, Robby, and Todd Wallentine (Kansas State Univ., USA)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4 (Monday)

ESOP - Verification and Reasoning (chair: Peter O'Hearn, room: EI 10)
Verification Methodology for Model Fields
K. Rustan M. Leino (Microsoft Research, USA), and Peter Müller (ETH Zürich, CH)
ILC: A Foundation for Automated Reasoning About Pointer Programs
Limin Jia and David Walker (Princeton Univ., USA)
Bisimulations for Untyped Imperative Objects
Vasileios Koutavas and Mitchell Wand (Northeastern Univ., USA)
FASE - Behavioral Models and State Machines (chair: Alan Hartman, room: EI 8)
Regular Inference for State Machines with Parameters
Therese Berg, Bengt Jonsson (Uppsala Univ., S), and Harald Raffelt (Univ. of Dortmund, D)
Automated Support for Building Behavioral Models of Event-Driven Systems
Benet Devereux and Marsha Chechik (Univ. of Toronto, CDN)
A Behavioral Model for Software Containers
Nigamanth Sridhar (Cleveland State Univ., USA) and Jason O. Hallstrom (Clemson Univ., USA)
TACAS - Symbolic Techniques (chair: Jaco van de Pol, room: EI 7)
New Metrics for Static Variable Ordering in Decision Diagrams
Radu I. Siminiceanu (National Institute of Aerospace, Hampton, USA) and Gianfranco Ciardo (Univ. of California, Riverside, USA)
Widening ROBDDs with Prime Implicants
Neil Kettle, Andy King (Univ. of Kent, Canterbury, UK), and Tadeusz Strzemecki (Fordham Univ., New York, USA)
Efficient Guided Symbolic Reachability using Reachability Expressions
Dina Thomas, Supratik Chakraborty (Indian Institute of Technology, Bombay, IND), and Paritosh Pandya (Tata Institute of Fundamental Research, IND)

18:05 - 18:50 EASST MEETING (Monday)

EASST General Assembly (room: EI 8)
All EASST members are invited.

19:30 SOCIAL EVENT (Monday)

Reception in the Vienna City Hall
The Bürgermeister der Bundeshauptstadt Wien invites all ETAPS participants to a reception in the Rathaus - free admittance

Programme of Tuesday, March 28

08:30 - 09:30 SESSION 1 (Tuesday)

FASE - Invited Talk (chair: Luciano Baresi, room: EI 7)
A Programming Model for Service Oriented Applications
Francisco Curbera (IBM T.J. Watson, USA)

09:30 - 10:00 Coffee

10:00 - 12:00 SESSION 2 (Tuesday)

ESOP - Security and Distribution (chair: Erik Meijer, room: EI 10)
A Typed Assembly Language for Confidentiality
Dachuan Yu and Nayeem Islam (DoCoMo Communications Laboratories, USA)
Flow Locks: Towards a Core Calculus for Dynamic Flow Policies
Niklas Broberg and David Sands (Chalmers Univ. of Technology and Göteborg Univ., S)
A Basic Contract Language for Web Services
Samuele Carpineti and Cosimo Laneve (Univ. of Bologna, I)
Types for Dynamic Reconfiguration
João Costa Seco and Luís Caires (Univ. Nova de Lisboa, P)
FASE - Empirical Studies (chair: Maura Cerioli, room: EI 8)
An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings
Daniela Damian (Univ. of Victoria, CDN), Filippo Lanubile, and Teresa Mallardo (Univ. of Bari, I)
Evaluation of Expected Software Quality: A Customer's Viewpoint
Krzysztof Sacha (Warsaw Univ. of Technology, PL)
Using Design Metrics for Predicting System Flexibility
Robby, Scott A. DeLoach, Valeriy A. Kolesnikov (Kansas State Univ., USA)
TACAS - Satisfiability (chair: Gianfranco Ciardo, room: EI 7)
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver
Malay K Ganai (NEC LABS America, Princeton, USA), Murallidhar Talupur (Carnegie Mellon Univ., USA), and Aarti Gupta (NEC LABS America, Princeton, USA)
SAT-based Software Certification.
Sagar Chaki (Carnegie Mellon Software Engineering Institute, USA)
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants
Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu (LORIA, INRIA Lorraine / Univ. de Nancy, F)
Exploration of the Constraint Programming Technique Capabilities in the Software Verification Process
Hélène Collavizza and Michel Rueher (Univ. de Nice, Sophia-Antipolis, F)

12:00 - 14:00 Lunch

14:00 - 16:00 SESSION 3 (Tuesday)

ESOP - Analysis and Verification (chair: Rocco de Nicola, room: EI 10)
Size-Change Termination Analysis in k-Bits
Michael Codish (Ben-Gurion Univ., Israel), Vitaly Lagoon, Peter Schachte, and Peter J. Stuckey (Univ. of Melbourne and NICTA, AUS)
Path Optimization in Programs and Its Application to Debugging
Akash Lal, Junghee Lim, Marina Polishchuk, and Ben Liblit (Univ. of Wisconsin-Madison, USA)
Inference of User-Defined Type Qualifiers and Qualifier Rules
Brian Chin, Shane Markstrum, Todd Millstein, and Jens Palsberg (Univ. of California, Los Angeles, USA)
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
Sumit Gulwani (Microsoft Research, USA) and Ashish Tiwari (SRI International, USA)
FASE - Requirements and Design (chair: Heike Wehrheim, room: EI 8)
Combining Problem Frames and UML in the Description of Software Requirements
Luigi Lavazza (Univ. dell'Insubria and CEFRIEL, I) and Vieri Del Bianco (CEFRIEL, I)
Amplifying the Benefits of Design Patterns: From Specification Through Implementation
Jason O. Hallstrom (Clemson Univ., USA), Neelam Soundarajan, and Benjamin Tyler (Ohio State Univ., USA)
The Good, the Bad and the Ugly: Well-formedness of Live Sequence Charts
Bernd Westphal and Tobe Toben (Carl von Ossietzky Univ. Oldenburg, D)
Concerned about Separation
Hafedh Mili (Univ. du Québec à Montréal, CDN), Houari Sahraoui (Univ. de Montréal, CDN), Hakim Lounis, Hamid Mcheick, Amel Elkharraz (Univ. du Québec à Montréal, CDN)
TACAS - Abstraction (chair: David Sands, room: EI 7)
Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems
Barbara König and Vitali Kozioura (Univ. of Stuttgart, D)
Why Waste a Perfectly Good Abstraction?
Arnie Gurfinkel and Marsha Chechik (Univ. of Toronto, CDN)
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking
Bing Li and Fabio Somenzi (Univ. of Colorado at Boulder, USA)
Approximating Predicate Images for Bit-Vector Logic
Daniel Kröning (ETH Zürich, CH) and Natasha Shrygina (Univ. of Lugano, CH)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4 (Tuesday)

ESOP - Applied Language Design and Interoperability (chair: Anton Ertl, room: EI 10)
Embedding Dynamic Dataflow in a Call-by-Value Language
Gregory H. Cooper and Shriram Krishnamurthi (Brown Univ., USA)
Polymorphic Type Inference for the JNI
Michael Furr and Jeffrey S. Foster (Univ. of Maryland, USA):
Type Safety of Generics for the .NET Common Language Runtime
Nicu Georgian Fruja (ETH Zürich, CH)
FASE - Model-Based Development (chair: Antónia Lopes, room: EI 8)
Algebraic Specification of a Model Transformation Engine
Artur Boronat, Jose Á. Carsí, Isidro Ramos (Polytechnic Univ. of Valencia, E)
Fundamentals of Debugging using a Resolution Calculus
Daniel Köb and Franz Wotawa (Technische Univ. Graz, A)
A Technique to Represent and Generate Components in MDA/PIM for Automation
Hyun Gi Min and Soo Dong Kim (Soongsil Univ., ROK)
TACAS - Model Checking Algorithms (chair: Kenneth McMillan, room: EI 7)
Finitary Winning in ω-Regular Games
Krishnendu Chatterjee (Univ. of California, Berkeley, USA) and Thomas A. Henzinger (Univ. of California, Berkeley, USA, and EPFL, CH)
Efficient Model Checking for LTL with Partial Order Snapshots
Peter Niebert (Laboratoire d'Informatique Fondamentale de Marseille, F) and Doron Peled (Univ. of Warwick, UK)
A Local Shape Analysis based on Separation Logic
Dino Distefano, Peter W. O'Hearn (Queen Mary, Univ. of London, UK), and Hongseok Yang (Seoul National Univ., ROK)

19:30 SOCIAL EVENT (Tuesday)

Main Conference Banquet in the Orangery of Schönbrunn Palace
Tickets needed - see registration

Programme of Wednesday, March 29

08:30 - 09:30 SESSION 1 (Wednesday)

Unifying Invited Talk (chair: Perdita Stevens, room: EI 7)
Software Engineering: Emerging Goals and Lasting Problems
Carlo Ghezzi (Politecnico di Milano, I)

09:30 - 10:00 Coffee

10:00 - 12:00 SESSION 2 (Wednesday)

FASE - Validation and Verification (chair: Luigi Lavazza, room: EI 8)
Argus: Online Statistical Bug Detection
Long Fei, Kyungwoo Lee, Fei Li, and Samuel P. Midkiff (Purdue Univ., USA)
From Faults via Test Purposes to Test Cases: on the Fault-based Testing of Concurrent Systems
Bernhard Aichernig and Carlo Corrales Delgado (United Nations Univ., Macau SAR China)
Automated Systematic Testing of Open Distributed Programs
Koushik Sen and Gul Agha (Univ. of Illinois at Urbana-Champaign, USA)
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time
Maude Peter Csaba Olveczky (Univ. of Illinois at Urbana-Champaign, USA, and Univ. of Oslo, N) and Marco Caccamo (Univ. of Illinois at Urbana-Champaign, USA)
FOSSACS - Mobile Processes (chair: Rocco De Nicola, room: EI 10)
A Theory for Observational Fault Tolerance
Adrian Francalanza (Univ. of Malta, M) and Matthew Hennessy (Univ. of Sussex, UK)
Smooth Orchestrators
Cosimo Laneve and Luca Padovani (Univ. di Bologna, I)
On the Relative Expressive Power of Asynchronous Communication Primitives
Daniele Gorla (Univ. di Roma La Sapienza, I)
More on Bisimulations for Higher Order pi-Calculus
Zining Cao (Nanjing Univ., CN)
TACAS - Program Verification (chair: Lenore Zuck, room: EI 7)
Compositional Model Extraction for Higher-Order Concurrent Programs
Dan Ghica (Univ. of Birmingham, UK) and Andrzej Murawski (Oxford Univ. Computing Laboratory, UK)
A Region Graph Based Approach to Termination Proofs
Stefan Leue and Wei Wei (Univ. of Konstanz, D)
Verifying Concurrent Message-Passing C Programs with Recursive Calls
Sagar Chaki, Edmund Clarke (Carnegie Mellon Univ., USA), Nicholas Kidd, Thomas Reps (Univ. of Wisconsin, USA), and Tayssir Touili (LIAFA, CNRS and Univ. Paris 7, F)
Automata-based Verification of Programs with Tree Updates
Peter Habermehl (LIAFA / Univ. Paris 7, F), Radu Iosif (VERIMAG/CNRS, F), and Tomas Vojnar (Brno Univ. of Technology, CZ)

12:00 - 14:00 Lunch

14:00 - 15:00 SESSION 3A (Wednesday)

Unifying Invited Talk (chair: Jens Knoop, room: EI 7)
The Weird World of Bi-Directional Programming
Benjamin Pierce (Univ. of Pennsylvania, USA)

15:00 - 15:15 Break

15:15 - 16:15 SESSION 3B (Wednesday)

FASE - Tool Demonstrations (chair: Arend Rensink, room: EI 8)
JAG: JML Annotation Generation for Verifying Temporal Properties
Alain Giorgetti and Julien Groslambert (Univ. of Franche-Comté, F)
LearnLib: A Library for Automata Learning and Experimentation
Harald Raffelt and Bernhard Steffen (Univ. of Dortmund, D)
FOSSACS - Software Science (chair: Jens Knoop, room: EI 10)
Register Allocation after Classical SSA Elimination is NP-complete
Fernando Magno Quintão Pereira and Jens Palsberg (UCLA, Univ. of California, Los Angeles, USA)
A Logic of Reachable Patterns in Linked Data-Structures
Greta Yorsh, Alexander Rabinovich, Mooly Sagiv (Tel Aviv Univ., IL), Antoine Meyer, and Ahmed Bouajjani (LIAFA, Univ. Paris VII, F)
TACAS - Runtime Diagnostics (chair: Rance Cleaveland, room: EI 7)
An Experimental Comparison of the Effectiveness of Control flow Based Testing Approaches on Seeded Faults
Atul Gupta and Pankaj Jalote (Indian Institute of Technolgoy, Kanpur, IND)
Exploiting Traces in Program Analysis
Alex Groce and Rajeev Joshi (California Institute of Technology, Pasadena, USA)

16:15 - 16:45 Coffee

16:45 - 18:15 SESSION 4 (Wednesday)

FASE - Software Evolution (chair: José Fiadeiro, room: EI 8)
Trace-Based Memory Aliasing Across Program Versions
Murali Krishna Ramanathan, Suresh Jagannathan, and Ananth Grama (Purdue Univ., USA)
The Pervasiveness of Global Data in Evolving Software Systems
Jason Selby and Fraser P. Ruffell (Univ. of Waterloo, CDN)
Relation of Code Clones and Change Couplings
Reto Geiger, Beat Fluri, Harald C. Gall, and Martin Pinzger (Univ. of Zurich, CH)
FOSSACS - Distributed Computation (chair: Walter Vogler, room: EI 10)
Dynamic Policy Discovery with Remote Attestation
Corin Pitcher and James Riely (CTI, De Paul Univ., USA)
Distributed Unfolding of Petri Nets
Paolo Baldan (Univ. Ca Foscari di Venezia, I), Stefan Haar (INRIA Rennes, F), and Barbara König (Univ. Stuttgart, D)
On the mu-Calculus Augmented with Sabotage
Philipp Rohde (RWTH Aachen, D)
TACAS - Quantitative Techniques (chair: Kim G. Larsen, room: EI 7)
Model-Checking Markov Chains in the presence of Uncertainties
Koushik Sen, Mahesh Viswanathan, and Gul Agha (Univ. of Illinois at Urbana-Champaign, USA)
Safety Metric Temporal Logic is Fully Decidable
Joel Ouaknine and James Worrell (Oxford Univ. Computing Laboratory, UK)
Simulation-Based Graph Similarity
Oleg Sokolsky, Sampath Kannan, and Insup Lee (Unversity of Pennsylvania, USA)

19:30 SOCIAL EVENT (Wednesday)

Heuriger
This is the Viennese term for the wine of the most recent grape harvest, and it is also the name of the places where the wine is served. Enjoy Viennese wine and local food at the Heurigen Schübel-Auer, Kahlenberger Straße 22, Wien-Nußdorf. Free admittance to ETAPS participants.

Programme of Thursday, March 30

08:30 - 09:30 SESSION 1 (Thursday)

TACAS - Invited Talk (chair: Jens Palsberg, room: EI 7)
Distributed Model-Checking Algorithms for WPDS with Applications to Trust-Management Systems
Somesh Jha (Univ. of Wisconsin, Madison, USA)

09:30 - 10:00 Coffee

10:00 - 12:00 SESSION 2 (Thursday)

CC - Program Analysis (chair: Peter Sestoft, room: EI 8)
Interprocedural Dataflow Analysis in the Presence of Large Libraries
Atanas Rountev, Scott Kagan, and Thomas Marlowe (Ohio State Univ. and Seton Hall Univ., USA)
Efficient Flow-Sensitive Interprocedural Data-flow Analysis in the Presence of Pointers
Teck Bok Tok, Samuel Z. Guyer, and Calvin Lin (The Univ. of Texas at Austin and Tufts Univ., Medford, USA)
Path-based Reuse Distance Analysis
Changpeng Fang (PathScale Inc., USA), Steve Carr, Soner Önder, and Zhenlin Wang (Michigan Technological Univ., USA)
Context-sensitive Points-to Analysis: Is It Worth It?
Ondřej Lhoták and Laurie Hendren (School of Computer Science, Univ. of Waterloo, and School of Computer Science, McGill Univ., Montreal, CDN)
FOSSACS - Categorical Models (chair: Dirk Pattinson, room: EI 10)
A Finite Model Construction For Coalgebraic Modal Logic
Lutz Schröder (Univ. of Bremen, D)
Presenting Functors by Operations and Equations
Marcello Bonsangue (LIACS Leiden Univ., NL) and Alexander Kurz (Leicester Univ., UK)
Bigraphical Models of Context-aware Systems
Lars Birkedal, S. Debois, E. Elsborg, T. Hildebrandt, and H. Niss (IT Univ. of Copenhagen, DK)
Processes for Adhesive Rewriting Systems
Paolo Baldan (Univ. Ca Foscari di Venezia, I), Andrea Corradini (Univ. di Pisa, I), Tobias Heindel, Barbara König (Univ. Stuttgart, D), and Paweł Sobociński (Univ. of Cambridge, UK)
TACAS - TACAS/SPIN Tool Demonstrations (chair: Thierry Jeron, room: EI 7)
PRISM: A Tool for Automatic Verification of Probabilistic Systems
Andrew Hinton, Marta Kwiatkowska, Gethin Norman, and David Parker (Univ. of Birmingham, UK)
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation
Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, and Gilles Stragier (INRIA Rhône-Alpes / VASY, F)
MCMAS: a Model Checker for Multi-Agent Systems
Franco Raimondi and Alessio Lomuscio (Univ. College London, UK)
A Counterexample-Guided Refinement Tool for Open Procedural Programs
Aleksandar Dimovski (Univ. of Warwick, UK), Dan R. Ghica (Univ. of Birmingham, UK), and Ranko Lazić (Univ. of Warwick, UK)

12:00 - 14:00 Lunch

14:00 - 15:00 SESSION 3A (Thursday)

FOSSACS - Invited Talk (chair: Anna Ingólfsdóttir, room: EI 7)
Oh Mega Completeness
Wan Fokkink (Vrije Universiteit Amsterdam, NL)

15:00 - 15:15 Break

15:15 - 16:15 SESSION 3B (Thursday)

CC - Dynamic Analysis (chair: Uday Khedker, room: EI 8)
Selective Runtime Memory Disambiguation in a Dynamic Binary Translator
Bolei Guo (Princeton Univ., USA), Youfeng Wu (Intel Corp., USA), Cheng Wang, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani, Jonathan Chang, and David I. August (Princeton Univ., USA)
Accurately Choosing Execution Runs for Software Fault Localization
Liang Guo, Abhik Roychoudhury, and Tao Wang (National Univ. of Singapore, SGP)
FOSSACS - Real Time and Hybrid Systems (chair: Kim G. Larsen, room: EI 10)
On Metric Temporal Logic and Faulty Turing Machines
Joel Ouaknine and James Worrell (Oxford Univ., UK)
Denotational Semantics of Hybrid Automata
Abbas Edalat (Imperial College, UK) and Dirk Pattinson (Leicester Univ., UK)
TACAS - TACAS/SPIN Tool Demonstrations (chair: Susanne Graf, room: EI 7)
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)
Christian Topnik, Eva Wilhelm (Univ. Dortmund, D), Tiziana Margaria (Univ. Göttingen, D), and Bernhard Steffen (Univ. Dortmund, D)
MSCan -- A Tool for Analyzing MSC Specifications
Benedikt Bollig (LSV, CNRS Cachan, F), Carsten Kern, Markus Schlütter, and Volker Stolz (RWTH Aachen, D)

16:15 - 16:45 Coffee

16:45 - 18:15 SESSION 4 (Thursday)

CC - Demonstrations (chair: Anton Ertl, room: EI 8)
On-line Visualization and Analysis of Real-time Systems with TuningFork
David F. Bacon, Perry Cheng (IBM T.J. Watson Research Center, Hawthorne, USA), Daniel Frampton (Australian National Univ., Canberra, AUS), David Grove (IBM T.J. Watson Research Center, Hawthorne, USA), Matthias Hauswirth (Univ. della Svizzera Italiana, Lugano, CH), and V.T. Rajan (IBM T.J. Watson Research Center, Hawthorne, USA)
Data-Flow Analysis as Model Checking within the jABC
Anna-Lena Lamprecht, Tiziana Margaria (Univ. Göttingen, D), and Bernhard Steffen (Univ. Dortmund, D)
The CGiS compiler
Philipp Lucas, Nicolas Fritz, and Reinhard Wilhelm (Saarland Univ., Saarbrücken, D)
FOSSACS - Process Calculi (chair: Wan Fokkink, room: EI 10)
Reversing Algebraic Process Calculi
Iain Phillips (Imperial College, UK) and Irek Ulidowski (Leicester Univ., UK)
Conjunction on Processes: Full--Abstraction via Ready--Tree Semantics
Gerald Lüttgen (Univ. of York, UK) and Walter Vogler (Univ. Augsburg, D)
Undecidability Results for Bisimilarity on Prefix Rewrite Systems
Petr Jancar (Technical Univ. of Ostrava, CZ) and Jiri Srba (BRICS, Aalborg Univ., DK)
TACAS - Refinement (chair: Michael Huth, room: EI 7)
A Practical and Complete Approach to Predicate Refinement
Ranjit Jhala (Univ. of California, San Diego, USA) and Kenneth L. McMillan (Cadence Berkeley Lab, USA)
Counterexample Driven Refinement for Abstract Interpretation
Bhargav S. Gulavanii (Indian Institute of Technology, Bombay, IND) and Sriram K. Rajamani (Microsoft Research Lab, IND)
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems
Javier Esparza, Stefan Kiefer, and Stefan Schwoon (Univ. of Stuttgart, D)

19:30 SOCIAL EVENT (Thursday)

Reception
Intel invites all ETAPS participants to a reception in the Prechtlsaal of the TU Main Building, Karlsplatz 13, 1040 Wien - free admittance

Programme of Friday, March 31

08:30 - 09:30 SESSION 1 (Friday)

CC - Invited Talk (chair: Alan Mycroft, room: EI 7)
Using Dependent Types to Port Type Systems to Low-Level Languages
George Necula (Univ. of California, Berkeley, USA)

09:30 - 10:00 Coffee

10:00 - 12:00 SESSION 2 (Friday)

CC - Optimisation (chair: Andreas Zeller, room: EI 8)
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode
Simon Hammond and David Lacey (Univ. of Warwick, UK)
Hybrid Optimizations: Which Optimization Algorithm to Use?
John Cavazos, J. Eliot B. Moss, Mike O'Boyle (Univ. of Edinburgh, Scotland, UK, and Univ. of Massachusetts, Amherst, USA)
A Fresh Look at PRE as a Maximum Flow Problem
Jingling Xue (Univ. of New South Wales, AUS) and Jens Knoop (TU Vienna, A)
Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective
Jack Liu and Youfeng Wu (Intel Corporation, Santa Clara, USA)
FOSSACS - Automata and Logic (chair: Gernot Salzer, room: EI 10)
Propositional Dynamic Logic with Recursive Programs
Christof Loeding (RWTH Aachen, D) and Olivier Serre (LIAFA, Univ. Paris VII and CNRS, F)
A Semantic Approach to Interpolation
Andrei Popescu, Traian Serbanuta, and Grigore Rosu (Univ. of Illinois at Urbana-Champaign, USA)
First-order and Counting Theories of omega-Automatic Structures
Dietrich Kuske (Univ. Leipzig, D) and Markus Lohrey (Univ. Stuttgart, D)
Parity Games Played on Transition Graphs of One-counter Processes
Olivier Serre (LIAFA, Univ. Paris VII and CNRS, F)

12:00 - 14:00 Lunch

14:00 - 16:00 SESSION 3 (Friday)

CC - Code Generation (chair: Mark van den Brand, room: EI 8)
Lightweight Lexical Closures for Legitimate Execution Stack Access
Masahiro Yasugi, Tasuku Hiraishi, and Taiichi Yuasa (Kyoto Univ., J)
Polyhedral Code Generation in the Real World
Nicolas Vasilache, Cédric Bastoul, and Albert Cohen (ALCHEMY Group, INRIA Futurs and LRI, Univ. Paris-Sud XI, F)
Iterative Collective Loop Fusion
T. J. Ashby and M. F. P. O'Boyle (Univ. of Edinburgh, UK)
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions
João Dias and Norman Ramsey (Harvard Univ., Boston, USA)
FOSSACS - Domains, Lambda Calculus, Types (chair: Bernhard Gramlich, room: EI 10)
On the Confluence of lambda-Calculus with Conditional Rewriting
Frédéric Blanqui, Claude Kirchner (INRIA LORIA, Nancy, F) and Colin Riba (INPL LORIA, Nancy, F)
Bidomains and Full Abstraction for Countable Non-determinism
James Laird (Univ. of Sussex, UK)
An Operational Characterization of beta-Strong-Normalization
Luca Paolini (Univ. di Torino, I), Elaine Pimentel (Univ. Federal de Minas Gerais, BR), and Simona Ronchi Della Rocca (Univ. di Torino, I)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4 (Friday)

CC - Register Allocation (chair: Alan Mycroft, room: EI 8)
SARA: Combining Stack Allocation and Register Allocation
V. Krishna Nandivada and Jens Palsberg (Univ. of California, Los Angeles, USA)
Register Allocation for Programs in SSA-form
Sebastian Hack, Daniel Grund, and Gerhard Goos (Univ. of Karlsruhe, D)
Enhanced Bitwidth-Aware Register Allocation
Rajkishore Barik and Vivek Sarkar (IBM T.J. Watson Research Center, Hawthorne, USA)
FOSSACS - Security (chair: Luca Aceto, room: EI 10)
Guessing Attacks and the Computational Soundness of Static Equivalence
Martin Abadi (Univ. of California, Santa Cruz, USA), Mathieu Baudet (LSV ENS Cachan, CNRS and INRIA Futurs project SECSI, F), and Bogdan Warinschi (LORIA, INRIA, Nancy, F)
Handling exp,* (and Timestamps) in Protocol Analysis
Roberto Zunino and Pierpaolo Degano (Univ. di Pisa, I)
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Michael Backes (IBM Zurich Research Lab, CH), Sebastian Moedersheim (ETH Zurich, CH), Birgit Pfitzmann (IBM Zurich Research Lab, CH), and Luca Vigano (ETH Zurich, CH)

Further ETAPS 2006 Programme Information:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-30