Programme of Thursday, April 11

OC
9.00
10.00
FOSSACS Invited Talk
Bruno Courcelle (Université Bordeaux, F)
Semantical Evaluations as Monadic Second-order Compatible Structure Transformations
Session chair:  Mogens Nielsen
10.00
10.45
Coffee
10.45
12.45
TACAS
Partial-order and simulation techniques

Session chair:  Claude Jard

Parallelisation of the Petri Net Unfolding Algorithm
Keijo Heljanko, Victor Khomenko, Maciej Koutny (Helsinki Univ. of Technology, Finland & Univ. of Newcastle, UK)

Black Box Unfolding with Local First Search
Sebastien Bornot, Remi Morin, Peter Niebert, Sarah Zennou (Laboratoire d'Informatique Fondamentale de Marseille, F)

Applicability of Fair Simulation
Doran Bustan, Orna Grumberg (Technion Haifa, Israel)

Simulation as Coarsest Partition Problem
Raffaella Gentilini, Carla Piazza, Alberto Policriti (Univ. Udine, I)

FOSSACS
Infinite State Systems

Session chair:  Julian Bradfield

Higher-order Pushdown Trees are Easy
Teodor Knapik, Damian Niwinski, Pawel Urzyczyn (Université de la Réunion, F and Warsaw University, PL)

Model-Checking Infinite Systems Generated by Ground Tree Rewriting
Christof Löding (Aachen University of Technology, D)

Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds
Petr Jancar, Antonin Kucera, Faron Moller, Zdenek Sawa (University of Ostrava, CZ, Masaryk University, CZ, University of Wales Swansea, UK)

Note on the Tableau Technique for Commutative Transition Systems
Jiri Srba (University of Aarhus, DK)

CC
Analysis and Optimization

Session chair: 

Data Compression Transformations for Dynamically Allocated Data Structures
Youtao Zhang, Rajiv Gupta (University of Arizona, USA)

Evaluating a Demand-Driven Technique for Call Graph Construction
Gagan Agrawal, Jinqian Li, Su Qi (Ohio State University, USA)

A Graph-Free Approach to Data-Flow Analysis
Markus Mohnen (RWTH Aachen, D)

A Representation for Bit Section Based Analysis and Optimization
R. Gupta, E. Mehofer, Y. Zhang (University of Arizona, USA)

SPIN
12.45
14.15
Lunch
14.15
15.15
SPIN Invited Talk
Ed Clarke (Carnegie Mellon University)
SAT-based Counterexample Guided Abstraction Refinement
Session chair: 
15.15
16.00
Coffee
16.00
17.30
TACAS
Debugging with model checking

Session chair:  Perdita Stevens

Temporal Debugging for Concurrent Systems
Elsa Gunter, Doron Peled (New Jersey Inst. of Science & Univ. of Texas, Austin, USA)

Fate and Free Will in Error Traces
HoonSang Jin, Kavita Ravi, Fabio Somenzi (Univ. of Colorado, Boulder & Cadence Design Systems, USA)

Real-Time Systems Design with PEP
Christian Stehno (Univ. Oldenburg, D)

FOSSACS
Logic

Session chair:  Antoine Petit

Model Checking Fixed Point Logic with Chop
Martin Lange, Colin Stirling (University of Edinburgh, UK)

Verifying Temporal Properties using Explicit Approximants: Completeness for Context-free Processes
Ulrich Schöpp, Alex Simpson (University of Edinburgh, UK)

A Calculus of Circular Proofs and its Categorical Semantics
Luigi Santocanale (University of Calgary, CA)

CC
Low-level Analysis

Session chair: 

Efficient Online Subpath Profiling
David Oren, Yossi Matias, Mooly Sagiv (Tel Aviv University, Israel)

Precise Exception Semantics in Dynamic Compilation
Michael Gschwind, Erik Altman ( IBM T.J. Watson Research Center, USA)

Decompiling Java Bytecode: Problems, Traps and Pitfalls
Jerome Miecznikowski, Laurie Hendren (McGill University, Canada)

SPIN
17.30
17.45
Short Break
17.45
18.45
empty FOSSACS
Message Sequence Charts

Session chair:  Doron Peled

Bounded MSC Communication
Markus Lohrey, Anca Muscholl (Université Paris VII, F)

Generalised Regular MSC Languages
Benedikt Bollig, Martin Leucker, Thomas Noll (Aachen University of Technology, D)

CC
Grammars and Parsing

Session chair: 

Forwarding in Attribute Grammars for Modular Language Design
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski (Oxford University, UK, & Microsoft Corp., UK)

Disambiguation Filters for Scannerless Generalized LR Parsers
M.G.J. van den Brand, J. Scheerder, J.J. Vinju, E. Visser (CWI, Netherlands, & Utrecht University, Netherlands)

SPIN
20.00 nyd