ESOP 2010: 19th European Symposium on Programming
March 22-26, 2010, Paphos, Cyprus
Conference Description
ESOP is a member conference of the European Joint Conferences on Theory and Practice
of Software (ETAPS), which is the primary European forum for academic and industrial
researchers working on topics relating to Software Science.
ETAPS 2010 is the 13th joint conference in this series.
The prior conferences have been
ETAPS 1998 in Lisbon,
ETAPS 1999 in Amsterdam,
ETAPS 2000 in Berlin,
ETAPS 2001 in Genova,
ETAPS 2002 in Grenoble,
ETAPS 2003 in Warsaw,
ETAPS 2004 in Barcelona,
ETAPS 2005 in Edinburgh,
ETAPS 2006 in Vienna,
ETAPS 2007 in Braga, and
ETAPS 2008 in Budapest,
ETAPS 2009 in York.
Schedule
MONDAY 11:00-12:30 ESOP 1 Formal Verification (Session chair: Gordon)
- Blazy, Robillard, Appel Formal Verification of Coalescing Graph-Coloring Register Allocation
- Leino, Mueller, Smans Deadlock-free Channels and Locks
- Koprowski, Binsztok TRX: A Formally Verified Parser Interpreter
MONDAY 14:00-16:00 ESOP 2 Static Analysis (Session chair: Naumann)
- Vardoulakis, Shivers CFA2: a Context-Free Approach to Control-Flow Analysis
- Wenner Weighted Dynamic Pushdown Networks
- D'Silva Propositional Interpolation and Abstract Interpolation
- Adje, Gaubert, Goubault Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
MONDAY 16:30-18:00 ESOP 3 Weak Memory Models (Session chair: Kobayashi)
- Boudol, Petri A Theory of Speculative Computation
- Ferreira, Feng, Shao Parameterized Memory Models and Concurrent Separation Logic
- Jagadeesan, Pitcher, Riely Generative Operational Semantics for Relaxed Memory Models
TUESDAY 9:00-10:00 Invited Speaker (ESOP) (Session chair: Gordon)
- David Naumann
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions
TUESDAY 10:30-12:30 ESOP 4 Program Logic (Session chair: Castagna)
- Wickerson, Dodds, Parkinson Explicit Stabilisation for Modular Rely-Guarantee Reasoning
- Dillig, Dillig, Aiken Fluid Updates: Beyond Strong vs. Weak Updates
- Nakata, Uustalu A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
- Meola, Walker Faulty Logic: Reasoning about Fault Tolerant Programs
TUESDAY 14:00-16:00 ESOP 5 Concurrency and Contracts (Session chair: Philippou)
- Deshmukh, Ramalingam, Ranganath, Vaswani Logical Concurrency Control From Sequential Proofs
- Lanese, Vaz, Ferreira On the expressive power of primitives for compensation handling
- Lochbihler Verifying a Compiler for Java Threads
- Tov, Pucella Stateful Contracts for Affine Types
TUESDAY 16:30-18:00 ESOP 6 Streams and Functional Programming (Session chair: Wadler)
- Bernardy, Jansson, Claessen Testing Polymorphic Properties
- Matsuda, Mu, Hu, Takeichi A Grammar-Based Approach to Invertible Programs
- Soulé, Hirzel, Grimm, Gedik, Andrade, Kumar, Wu A Universal Calculus for Stream Processing Languages
WEDNESDAY 10:30-12:30 ESOP 7 Information Flow and Security (Session chair: Maffei)
- Swamy, Chen, Chugh Enforcing Stateful Authorization and Information Flow Policies in Fine
- Askarov, Myers A Semantic Framework for Declassification and Endorsement
- Amtoft, Hatcliff, Rodriguez Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays
- King, Jha, Muthukumaran, Jaeger, Jha, Seshia Automating Security Mediation Placement
WEDNESDAY 14:00-15:00 Invited Speaker (Unifying) (Session Chair: Sassone)
- Wadler The Audacity of Hope: Thoughts on Reclaiming the Database Dream
WEDNESDAY 15:00-16:00 ESOP 8 Separation Logic (Session chair: Distefano)
- Laviron, Chang, Rival Separating Shape Graphs
- Atkey Amortised Resource Analysis with Separation Logic
WEDNESDAY 16:30-18:00 ESOP 9 Types and Complexity (Session chair: Birkedal)
- Hoffmann, Hofmann Amortized Resource Analysis with Polynomial Potential---A Static Inference of Polynomial Bounds for Functional Programs
- Dal Lago, Schoepp Functional Programming in Sublinear Space
- Baillot, Gaboardi, Mogbil A PolyTime Functional Language from Light Linear Logic
Call for Papers
ESOP is an annual conference devoted to fundamental issues in the specification,
design, analysis, and implementation of programming languages and systems. ESOP
2010 is the nineteenth edition in this series and seeks contributions on all aspects
of programming language research including, but not limited to, the following areas:
- Programming paradigms and styles: functional programming, object-oriented programming,
aspect-oriented programming, logic programming, constraint programming, extensible
programming languages, domain-specific languages, synchronous and real-time programming
languages.
- Methods and tools to write and specify programs and languages: programming techniques,
logical foundations, denotational semantics, operational semantics, meta programming,
module systems, language-based security.
- Methods and tools for reasoning about programs: type systems, abstract interpretation,
program verification, testing.
- Methods and tools for implementation: program transformations, rewriting systems,
partial evaluation, experimental evaluations, virtual machines, intermediate languages,
run-time environments.
- Concurrency and distribution: process algebras, concurrency theory, parallel programming,
service-oriented computing, distributed and mobile languages.
What is New This Year
After consultations within the programming language research community,
we raised the page limit for ESOP 2010 to be 20 pages in LNCS format.
We did so because research papers in programming languages tend
to be longer than the 15 pages taken as the limit in previous editions of ESOP.
We continue the rebuttal phase introduced for ESOP 2009, with some variations.
Authors will be given a period of 60 hours
to read and respond to the reviews of their papers before the PC meeting.
Reviewers may use this opportunity to ask for additional information from the authors.
Rebuttals may be at most 2500 words long, but effective rebuttals are likely to be brief, of course.
Submission Guidelines
Submit your abstract and paper on the
EasyChair website.
Papers must be written in English, unpublished and not submitted for publication
elsewhere. The proceedings will be published in the Springer-Verlag Lecture Notes
in Computer Science series. Final papers will be in the format specified by Springer-Verlag
in this page.
Submissions must be in PDF format, formatted in the LNCS style and be at most 20
pages long (including bibliography). Additional material, that is not to be included in the final version,
but which may help assessing the merits of the submission - for example details of proofs
- may be placed in a clearly marked appendix (that is not included in the page limit) or in a long version on the web.
ESOP referees are at liberty to ignore appendices or long versions, and papers must be understandable without them.
Important Dates
- Thursday, 1 October 2009, 23:00 Samoa - Apia Time: Abstract submission deadline (closed, received 149 abstracts)
- Thursday, 8 October 2009, 23:00 Samoa - Apia Time: Paper submission deadline (closed, received 121 papers)
- Saturday, 21 November 2009, 11:00 Samoa - Apia time: Start of rebuttal period
(worldclock,
countdown)
- Monday, 23 November 2009, 23:00 Samoa - Apia time: End of rebuttal period
(worldclock,
countdown)
- Friday, 11 December 2009: Author notification (accepted 30 papers)
- Monday, 4 January 2010: Camera-ready paper versions due
- Monday, 15 March 2010: LNCS 6012 made available online
Submission deadlines are strict.
Submission of an abstract implies no obligation to submit a full version;
abstracts with no corresponding full versions by the full
paper deadline will be considered as withdrawn.
A blow-by-blow report on the organization is here.
Invited Speaker
Programme Committee
Chair: Andrew D. Gordon, Microsoft Research, Cambridge (UK)
- Amal Ahmed, Indiana University (USA)
- Anindya Banerjee, IMDEA Software (Spain)
- Lars Birkedal, IT University of Copenhagen (Denmark)
- Marzia Buscemi, IMT Lucca Institute for Advanced Studies (Italy)
- Giuseppe Castagna, CNRS, Université Denis Diderot, Paris (France)
- Patrick Cousot, ENS, Paris (France)
- Dino Distefano, Queen Mary, University of London (UK)
- Cormac Flanagan, UC Santa Cruz (USA)
- Giorgio Ghelli, University of Pisa (Italy)
- Sumit Gulwani, Microsoft Research, Redmond (USA)
- Michael Hicks, University of Maryland, College Park (USA)
- Naoki Kobayashi, Tohoku University (Japan)
- Matteo Maffei, Saarland University (Germany)
- Conor McBride, Strathclyde University (UK)
- Anna Philippou, University of Cyprus (Cyprus)
- Andreas Podelski, University of Freiburg (Germany)
- Erik Poll, Radboud Universiteit Nijmegen (Netherlands)
- Julian Rathke, University of Southampton (UK)
- Didier Rémy, INRIA Rocquencourt (France)
- David Sands, Chalmers University, Gothenburg (Sweden)
- Helmut Seidl, TU Munich (Germany)
- Greta Yorsh, IBM Research (USA)
- Steve Zdancewic, University of Pennsylvania (USA)
Steering Committee
Chair: Chris Hankin, United Kingdom
- Giuseppe Castagna, France
- Rocco De Nicola, Italy
- Pierpaolo Degano, Italy
- Sophia Droussopoulou, United Kingdom
- Andrew D. Gordon, United Kingdom
- Neil Jones, Denmark
- Daniel Le Metayer, France
- Alan Mycroft, United Kingdom
- Hanne Riis Nielson, Denmark
- Bengt Nordström, Sweden
- David Sands, Sweden
- David Schmidt, USA
- Gert Smolka, Germany
- Doaitse Swierstra, The Netherlands
- Reinhard Wilhelm, Germany