Amal Ahmed
Proceedings of the 27th European Symposium on Programming
ESOP, 2018.

@proceedings{ESOP-2018,
	doi           = "10.1007/978-3-319-89884-1",
	editor        = "Amal Ahmed",
	isbn          = "['978-3-319-89883-4', '978-3-319-89884-1']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 27th European Symposium on Programming}",
	volume        = 10801,
	year          = 2018,
}

Contents (36 items)

ESOP-2018-XieBO #consistency #type system

Consistent Subtyping for All (NX, XB, BCdSO), pp. 3–30.

ESOP-2018-Matsuda0 #combinator #lens #named #programming #using

HOBiT: Programming Lenses Without Using Lens Combinators (KM, MW0), pp. 31–59.

ESOP-2018-OstermannJ #algebra #data type #matrix

Dualizing Generalized Algebraic Data Types by Matrix Transposition (KO, JJ), pp. 60–85.

ESOP-2018-AguadoMPRH #approach #concurrent #memory management

Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach (JA, MM, MP, PSR, RvH), pp. 86–113.

ESOP-2018-BartheEGGHS #logic #probability #source code

An Assertion-Based Program Logic for Probabilistic Programs (GB, TE, MG, BG, JH, PYS), pp. 117–144.

ESOP-2018-BichselGV #fine-grained #probability #semantics #source code

Fine-Grained Semantics for Probabilistic Programs (BB, TG, MTV), pp. 145–185.

ESOP-2018-BatzKKM #how #network #program analysis

How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times (KB, BLK, JPK, CM), pp. 186–213.

ESOP-2018-0001BBBG0 #markov #probability #reasoning #relational #λ-calculus

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus (AA0, GB, LB, AB, MG, DG0), pp. 214–241.

ESOP-2018-PedrotT #type system

Failure is Not an Option - An Exceptional Type Theory (PMP, NT), pp. 245–271.

ESOP-2018-XieO

Let Arguments Go First (NX, BCdSO), pp. 272–299.

ESOP-2018-SimpsonV #algebra #behaviour #equivalence

Behavioural Equivalence via Modalities for Algebraic Effects (AS, NFWV), pp. 300–326.

ESOP-2018-SalehKPS #type system

Explicit Effect Subtyping (AHS, GK, MP, TS), pp. 327–354.

ESOP-2018-SvendsenPDLV #logic #semantics

A Separation Logic for a Promising Semantics (KS, JPP, MD, OL, VV), pp. 357–384.

ESOP-2018-LeH #logic #reasoning

Logical Reasoning for Disjoint Permissions (XBL, AH), pp. 385–414.

ESOP-2018-Hamin0 #concurrent #monitoring

Deadlock-Free Monitors (JH, BJ0), pp. 415–441.

ESOP-2018-AbdullaJT #abstraction #analysis #concurrent

Fragment Abstraction for Concurrent Shape Analysis (PAA, BJ, CQT), pp. 442–471.

ESOP-2018-SkorstengaardDB #pointer #reasoning #stack

Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management (LS, DD, LB), pp. 475–501.

ESOP-2018-EilersMH #composition #source code

Modular Product Programs (ME, PM0, SH), pp. 502–529.

ESOP-2018-GueneauCP #complexity #deduction #formal method #verification

A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification (AG, AC, FP), pp. 533–560.

ESOP-2018-MertenBS #algorithm #complexity #distributed #game studies #learning

Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees (SM, AB, GS0), pp. 561–588.

ESOP-2018-MoorePR #induction #verification

Program Verification by Coinduction (BMM, LP, GR), pp. 589–618.

ESOP-2018-RahliVVV #coq #fault tolerance #named #protocol

Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq (VR, IV, MV, PJEV), pp. 619–650.

ESOP-2018-WeiMRF0 #design #java #static analysis #trade-off

Evaluating Design Tradeoffs in Numeric Static Analysis for Java (SW, PM, AR, JSF, MH0), pp. 653–682.

ESOP-2018-UrbanM #abstract interpretation #framework

An Abstract Interpretation Framework for Input Data Usage (CU, PM0), pp. 683–710.

ESOP-2018-0001TW #higher-order #model checking #verification

Higher-Order Program Verification via HFL Model Checking (NK0, TT, KW), pp. 711–738.

ESOP-2018-ChatterjeeGV #analysis #contract

Quantitative Analysis of Smart Contracts (KC, AKG, YV), pp. 739–767.

ESOP-2018-GommerstadtJP #concurrent #contract

Session-Typed Concurrent Contracts (HG, LJ, FP), pp. 771–798.

ESOP-2018-VieringCEHZ #distributed #type system

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems (MV, TCC, PE, RH, LZ), pp. 799–826.

ESOP-2018-ToninhoY #encoding #on the #polymorphism

On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings (BT, NY), pp. 827–855.

ESOP-2018-KappeB0Z #algebra #concurrent

Concurrent Kleene Algebra: Free Model and Completeness (TK, PB, AS0, FZ), pp. 856–882.

ESOP-2018-FrancoCDVW #concurrent #correctness

Correctness of a Concurrent Object Collector for Actor Languages (JF, SC, SD, JV, TW), pp. 885–911.

ESOP-2018-Garcia-PerezGMS

Paxos Consensus, Deconstructed and Abstracted (ÁGP, AG, YM, IS), pp. 912–939.

ESOP-2018-RaadLV #consistency #on the #parallel

On Parallel Snapshot Isolation and Release/Acquire Consistency (AR, OL, VV), pp. 940–967.

ESOP-2018-JagadeesanR #consistency

Eventual Consistency for CRDTs (RJ, JR), pp. 968–995.

ESOP-2018-HupelN #compilation #higher-order

A Verified Compiler from Isabelle/HOL to CakeML (LH, TN), pp. 999–1026.

ESOP-2018-DoddsBG #compilation #composition #memory management #optimisation #verification

Compositional Verification of Compiler Optimisations on Relaxed Memory (MD, MB, AG), pp. 1027–1055.