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:
- Programme Overview
- Main Conferences:
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
AVIS,
CMCS,
COCV,
DCC,
EAAI,
FESCA,
FRCSS,
GT-VMT,
LDTA,
MBT,
QAPL,
SC,
SLAP,
SPIN,
TERMGRAPH,
WITS,
WRLA
- Tutorials:
Phoenix,
QuantComp
ETAPS 2006 |
Top |
HTML 4.01 |
Last Update: 2006-03-30