ESOP 2004

28 papers

1. A Control Flow Analysis for Safe and Boxed Ambients · Francesca Levi, Chiara Bodei
2. A Dependently Typed Ambient Calculus · Cédric Lhoussaine, Vladimiro Sassone
3. A Distributed Abstract Machine for Boxed Ambient Calculi · Andrew Phillips, Nobuko Yoshida, Susan Eisenbach
4. A Hardest Attacker for Leaking References · René Rydhof Hansen
5. A Memoizing Semantics for Functional Logic Languages · Salvador España Boquera, Vicent Estruch
6. A Semantic Framework for Designer Transactions · Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking
7. Adaptive Pattern Matching on Binary Data · Per Gustafsson, Konstantinos Sagonas
8. Answer Type Polymorphism in Call-by-Name Continuation Passing · Hayo Thielecke
9. Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types · Tom Hirschowitz, Xavier Leroy, J. B. Wells
10. Canonical Graph Shapes · Arend Rensink
11. Compositional Analysis of Authentication Protocols · Michele Bugliesi, Riccardo Focardi, Matteo Maffei
12. Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation · Vitaly Shmatikov
13. Extracting a Data Flow Analyser in Constructive Logic · David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu
14. From Constraints to Finite Automata to Filtering Algorithms · Mats Carlsson, Nicolas Beldiceanu
15. Functors for Proofs and Programs · Jean-Christophe Filliâtre, Pierre Letouzey
16. Just Fast Keying in the Pi Calculus · Martín Abadi, Bruno Blanchet, Cédric Fournet
17. Linear Types for Packet Processing · Robert Ennals, Richard Sharp, Alan Mycroft
18. ML-Like Inference for Classifiers · Cristiano Calcagno, Eugenio Moggi, Walid Taha
19. Modal Proofs as Distributed Programs (Extended Abstract) · Limin Jia, David Walker
20. Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors · Antoine Miné
21. Resources, Concurrency, and Local Reasoning (Abstract) · Peter W. O'Hearn
22. Semantical Analysis of Specification Logic, 3: An Operational Approach · Dan R. Ghica
23. Sound and Decidable Type Inference for Functional Dependencies · Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann
24. Static Analysis of Digital Filters · Jérôme Feret
25. Strong Preservation as Completeness in Abstract Interpretation · Francesco Ranzato, Francesco Tapparo
26. System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types · Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury
27. Trust Management in Strand Spaces: A Rely-Guarantee Method · Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
28. ULM: A Core Programming Model for Global Computing: (Extended Abstract) · Gérard Boudol