ESOP: Techniques & Methods
Session chair: Alan Mycroft
A Tail-Recursive Semantics for Stack Inspections,
John Clements, Matthias Felleisen (Northeastern University, USA)
Flexible Models for Dynamic Linking
Sophia Drossopoulou (Imperial College, UK),
Giovanni Lagorio (University of Genova, I),
Susan Eisenbach (Imperial College, UK)
16.45 - 17.15:
coffee
17.15 - 18.45:
ESOP: Logic Programming
Session chair: Helmut Seidl
Automated Correction of Functional Logic Programs
Maria Alpuente (Univ. Politecnica de Valencia, E),
Demis Ballis (Università di Udine, I),
Francisco Correa (Univ. Eafit, CO),
Moreno Falaschi (Università di Udine, I)
Approximate Pruning in Tabled Logic Programming
Luis F. Castro, David S. Warren (SUNY at Stony Brook, USA)
Goal-Independent Suspension Analysis of Logic Programs with
Dynamic Scheduling
Samir Genaim (Ben-Gurion University of the Negev, IL),
Andy King (University of Kent at Canterbury, UK)
What Makes a Cryptographic Protocol Secure?
The Evolution of Requirements Specification in Formal
Cryptographic Protocol Analysis
Catherine Meadows (Naval Research Laboratory, USA)
10.00 - 10.30:
coffee
10.30 - 12.30:
ESOP: Security 1
Session chair: Joshua Guttman
Security Properties: Two Agents Are Sufficient
Hubert Comon-Lundh and Veronique Cortier (LSV, ENS Cachan and CNRS, F)
A Simple Language for Real-time Cryptographic Protocol Analysis
Roberto Gorrieri, Enrico Locatelli (University of Bologna, I),
Fabio Martinelli (IIT-CNR, I)
Rule Formats for Non Interference
Simone Tini (Universita dell'Insubria, I)
On the Secure Implementation of Security Protocols
Pablo Giambiagi, Mads Dam (Swedish Institute of Computer Science, S)
12.30 - 14.30:
LUNCH
15.45 - 16.45:
ESOP: Security 2
Session chair: Catherine Meadows
Handling Encryption in an Analysis for Secure Information Flow
Peeter Laud (Tartu University and Cybernetica AS, EST)
Using Controller Synthesis to Build Property-Enforcing Layers
Karine Altisen (VERIMAG/INPG, F),
Aurelie Clodic (LAAS/CNRS, F),
Florence Maraninchi (VERIMAG/INPG, F),
Eric Rutten (INRIA Rhone-Alpes, F)
16.45 - 17.15:
coffee
17.15 - 18.45:
ESOP: Program Correctness
Session chair: David Schmidt
Automatic Software Model Checking using CLP
Cormac Flanagan (Systems Research Center, Hewlett Packard, USA)
Verifying Temporal Heap Properties Specified via Evolution Logic
Eran Yahav (Tel Aviv University, IL),
Thomas Reps (University of Wisconsin, USA),
Mooly Sagiv (Tel Aviv University, IL),
Reinhard Wilhelm (Universitat des Saarlandes, D)
Correctness of Data Representations Involving Heap Data Structures
Uday Reddy (University of Birmingham, UK),
Hongseok Yang (Korean Advanced Institute of Science and Technology, Korea)
Modeling Web Interactions
Paul Graunke (Northeastern University, USA),
Robert Bruce Findler (University of Chicago, USA),
Shriram Krishnamurthi (Brown University, USA),
Matthias Felleisen (Northeastern University, USA)
Type Inference for a Distributed Pi-Calculus
Cedric Lhoussaine (University of Sussex, UK)
Type-Safe Update Programming
Martin Erwig, Deling Ren (Oregon State University, USA)
Type Error Slicing in Implicitly Typed, Higher-Order Languages
Christian Haack, J. B. Wells (Heriot-Watt University, UK)
Core Formal Molecular Biology
Vincent Danos (CNRS University of Paris 7, F),
Cosimo Laneve (University of Bologna, I)
Requirements on the Execution of Kahn Process Networks
Marc Geilen, Twan Basten (Eindhoven University of Technology, NL)
Tagging, Encoding, and Jones Optimality
Olivier Danvy (University of Aarhus, DK),
Pablo E. Martínez López (UNLP, AR)
16.00 - 16.30:
coffee
16.30 - 18.30:
ESOP: Reasoning
Session chair: Cedric Fournet
The Rely-Guarantee Method in Isabelle/HOL
Leonor Prensa Nieto (INRIA Sophia Antipolis, F)
Building Certified Libraries for PCC: Dynamic Storage Allocation
Dachuan Yu, Nadeem Hamid, Zhong Shao (Yale University, USA)
Finite Differencing of Logical Formulas for Static Analysis
Thomas Reps (University of Wisconsin, USA),
Mooly Sagiv (Tel-Aviv University, IL),
Alexey Loginov (University of Wisconsin, USA)
Register Allocation by Proof Transformation
Atsushi Ohori (Japan Advanced Institute of Science and Technology, J)