Proceedings of the 27th European Symposium on Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
DOI
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.