default search action
27th ESOP 2018: Thessaloniki, Greece (Part of ETAPS 2018)
- Amal Ahmed:
Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10801, Springer 2018, ISBN 978-3-319-89883-4
Language Design
- Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira:
Consistent Subtyping for All. 3-30 - Kazutaka Matsuda, Meng Wang
:
HOBiT: Programming Lenses Without Using Lens Combinators. 31-59 - Klaus Ostermann, Julian Jabs:
Dualizing Generalized Algebraic Data Types by Matrix Transposition. 60-85 - Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden:
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. 86-113
Probabilistic Programming
- Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu
An Assertion-Based Program Logic for Probabilistic Programs. 117-144 - Benjamin Bichsel, Timon Gehr, Martin T. Vechev:
Fine-Grained Semantics for Probabilistic Programs. 145-185 - Kevin Batz, Benjamin Lucien Kaminski
How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. 186-213 - Alejandro Aguirre
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. 214-241
Types and Effects
- Pierre-Marie Pédrot, Nicolas Tabareau
Failure is Not an Option - An Exceptional Type Theory. 245-271 - Ningning Xie, Bruno C. d. S. Oliveira:
Let Arguments Go First. 272-299 - Alex Simpson, Niels F. W. Voorneveld
Behavioural Equivalence via Modalities for Algebraic Effects. 300-326 - Amr Hany Saleh, Georgios Karachalias, Matija Pretnar
Explicit Effect Subtyping. 327-354
Concurrency
- Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko
A Separation Logic for a Promising Semantics. 357-384 - Xuan Bach Le, Aquinas Hobor:
Logical Reasoning for Disjoint Permissions. 385-414 - Jafar Hamin
Deadlock-Free Monitors. 415-441 - Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh:
Fragment Abstraction for Concurrent Shape Analysis. 442-471
Security
- Lau Skorstengaard, Dominique Devriese
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management. 475-501 - Marco Eilers
Modular Product Programs. 502-529
Program Verification
- Armaël Guéneau, Arthur Charguéraud, François Pottier:
A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification. 533-560 - Samuel Merten
Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. 561-588 - Brandon M. Moore, Lucas Peña, Grigore Rosu:
Program Verification by Coinduction. 589-618 - Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo:
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. 619-650
Program Analysis and Automated Verification
- Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
Evaluating Design Tradeoffs in Numeric Static Analysis for Java. 653-682 - Caterina Urban, Peter Müller:
An Abstract Interpretation Framework for Input Data Usage. 683-710 - Naoki Kobayashi
Higher-Order Program Verification via HFL Model Checking. 711-738 - Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner:
Quantitative Analysis of Smart Contracts. 739-767
Session Types and Concurrency
- Hannah Gommerstadt, Limin Jia
Session-Typed Concurrent Contracts. 771-798 - Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. 799-826 - Bernardo Toninho
On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. 827-855 - Tobias Kappé
Concurrent Kleene Algebra: Free Model and Completeness. 856-882
Concurrency and Distribution
- Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad:
Correctness of a Concurrent Object Collector for Actor Languages. 885-911 - Álvaro García-Pérez
Paxos Consensus, Deconstructed and Abstracted. 912-939 - Azalea Raad, Ori Lahav
On Parallel Snapshot Isolation and Release/Acquire Consistency. 940-967 - Radha Jagadeesan, James Riely
Eventual Consistency for CRDTs. 968-995
Compiler Verification
- Lars Hupel
A Verified Compiler from Isabelle/HOL to CakeML. 999-1026 - Mike Dodds
Compositional Verification of Compiler Optimisations on Relaxed Memory. 1027-1055
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: