ESOP 2016

30 papers

1. A Classical Realizability Model for a Semantical Value Restriction · Rodolphe Lepigre
2. A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs · Yuting Wang, Gopalan Nadathur
3. A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract) · Emile Bres, Rob J. van Glabbeek, Peter Höfner
4. Actor Services - Modular Verification of Message Passing Programs · Alexander J. Summers, Peter Müller
5. An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs · Antoine Miné, Jason Breck, Thomas W. Reps
6. An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages · Daniel Huang, Greg Morrisett
7. Automatically Splitting a Two-Stage Lambda Calculus · Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian
8. Call-By-Push-Value from a Linear Logic Point of View · Thomas Ehrhard
9. Classical By-Need · Pierre-Marie Pédrot, Alexis Saurin
10. Computing with Semirings and Weak Rig Groupoids · Jacques Carette, Amr Sabry
11. Coordinated Concurrent Programming in Syndicate · Tony Garnock-Jones, Matthias Felleisen
12. Extensible and Efficient Automation Through Reflective Tactics · Gregory Malecha, Jesper Bengtson
13. Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach · Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
14. Functional Big-Step Semantics · Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan
15. Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations · Hideyuki Kawabata, Hideya Iwasaki
16. Macrofication: Refactoring by Reverse Macro Expansion · Christopher Schuster, Tim Disney, Cormac Flanagan
17. Modular Termination Verification for Non-blocking Concurrency · Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland
18. Needle & Knot: Binder Boilerplate Tied Up · Steven Keuchel, Stephanie Weirich, Tom Schrijvers
19. On Hierarchical Communication Topologies in the \pi -calculus · Emanuele D'Osualdo, C.-H. Luke Ong
20. On the Relative Expressiveness of Higher-Order Session Processes · Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
21. Practical Optional Types for Clojure · Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt
22. Probabilistic Functions and Cryptographic Oracles in Higher Order Logic · Andreas Lochbihler
23. Probabilistic NetKAT · Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva
24. Regular Programming for Quantitative Properties of Data Streams · Rajeev Alur, Dana Fisman, Mukund Raghothaman
25. Simulating Cities: A Software Engineering Perspective · Cristina V. Lopes
26. The Expressive Power of Monotonic Parallel Composition · Johannes Åman Pohjola, Joachim Parrow
27. Transfinite Step-Indexing: Decoupling Concrete and Logical Steps · Kasper Svendsen, Filip Sieczkowski, Lars Birkedal
28. Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules · Alejandro Serrano, Jurriaan Hage
29. Visible Type Application · Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed
30. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs · Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo