18. ESOP 2009: York, UK (Part of ETAPS 2009)

Giuseppe Castagna (Ed.): Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5502 Springer 2009, ISBN 978-3-642-00589-3

Typed Functional Programming

Philip Wadler, Robert Bruce Findler:
Well-Typed Programs Can't Be Blamed. 1-16
Jeremy G. Siek, Ronald Garcia, Walid Taha:
Exploring the Design Space of Higher-Order Casts. 17-31
T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen:
Practical Variable-Arity Polymorphism. 32-46
Matthew R. Lakin, Andrew M. Pitts:
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. 47-61

ETAPS Invited Talk

John C. Reynolds:
Using Category Theory to Design Programming Languages. 62-63

Computational Effects

Mauro Jaskelioff:
Modular Monad Transformers. 64-79
Gordon D. Plotkin, Matija Pretnar:
Handlers of Algebraic Effects. 80-94

Types for Object-Oriented Languages

Donna Malayeri, Jonathan Aldrich:
Is Structural Subtyping Useful? An Empirical Study. 95-111
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin:
An Interval-Based Inference of Variant Parametric Types. 112-127
Nicholas R. Cameron, Sophia Drossopoulou:
Existential Quantification for Variant Ownership. 128-142

Verification

Max Schäfer, Torbjörn Ekman, Oege de Moor:
Formalising and Verifying Reference Attribute Grammars in Coq. 143-159
Aditi Barthwal, Michael Norrish:
Verified, Executable Parsing. 160-174
Hao Yuan, Patrick Th. Eugster:
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees. 175-189
Brian Campbell:
Amortised Memory Analysis Using the Depth of Data Structures. 190-204

ESOP Invited Talk

Jean-Marc Eber:
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?. 205-206

Security

Delphine Demange, David Sands:
All Secrets Great and Small. 207-221
Daisuke Kikuchi, Naoki Kobayashi:
Type-Based Automated Verification of Authenticity in Cryptographic Protocols. 222-236

Concurrency

Eijiro Sumii:
A Theory of Non-monotone Memory (Or: Contexts for free). 237-251
Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang:
Abstraction for Concurrent Objects. 252-266
Filippo Bonchi, Ugo Montanari:
Minimization Algorithm for Symbolic Bisimilarity. 267-284

Service-Oriented Computing

Luís Caires, Hugo Torres Vieira:
Conversation Types. 285-300
Maria Grazia Buscemi, Hernán C. Melgratti:
Abstract Processes in Orchestration Languages. 301-315
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda:
Global Principal Typing in Partially Commutative Asynchronous Sessions. 316-332
Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens:
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. 333-347

Parallel and Concurrent Programming

Mohammad Raza, Cristiano Calcagno, Philippa Gardner:
Automatic Parallelization with Separation Logic. 348-362
Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis:
Deny-Guarantee Reasoning. 363-377
K. Rustan M. Leino, Peter Müller:
A Basis for Verifying Multi-threaded Programs. 378-393
Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan:
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. 394-409