Zhong Shao
Proceedings of the 23rd European Symposium on Programming
ESOP, 2014.

@proceedings{ESOP-2014,
	address       = "Grenoble, France",
	doi           = "10.1007/978-3-642-54833-8",
	editor        = "Zhong Shao",
	isbn          = "978-3-642-54832-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 23rd European Symposium on Programming}",
	volume        = 8410,
	year          = 2014,
}

Contents (29 items)

3 ×#concurrent
2 ×#analysis
2 ×#bound
2 ×#compilation
2 ×#composition
2 ×#higher-order
2 ×#multi
2 ×#proving
2 ×#semantics
2 ×#source code

ESOP-2014-HerlihyK #composition #transaction

Composable Transactional Objects: A Position Paper (MH, EK), pp. 1–7.

ESOP-2014-LaunchburyADM #multi

Application-Scale Secure Multiparty Computation (JL, DA, TD, EM), pp. 8–26.

ESOP-2014-SlepakSM #morphism #polymorphism #rank

An Array-Oriented Language with Static Rank Polymorphism (JS, OS, PM), pp. 27–46.

ESOP-2014-ThiemannF #type system

Gradual Typing for Annotated Type Systems (PT, LF), pp. 47–66.

ESOP-2014-DudderMR #composition #staged #synthesis

Staged Composition Synthesis (BD, MM, JR), pp. 67–86.

ESOP-2014-CockxPD #independence #similarity

Overlapping and Order-Independent Patterns — Definitional Equality for All (JC, FP, DD), pp. 87–106.

ESOP-2014-BeringerSDA #c #compilation

Verified Compilation for Shared-Memory C (LB, GS, RD, AWA), pp. 107–127.

ESOP-2014-PercontiA #compilation #multi #semantics #using #verification

Verifying an Open Compiler Using Multi-language Semantics (JTP, AA), pp. 128–148.

ESOP-2014-SvendsenB #concurrent

Impredicative Concurrent Abstract Predicates (KS, LB), pp. 149–168.

ESOP-2014-GardnerNW #file system #reasoning

Local Reasoning for the POSIX File System (PG, GN, AW), pp. 169–188.

ESOP-2014-BenzakenCD #coq #formal method #relational

A Coq Formalization of the Relational Data Model (VB, EC, SD), pp. 189–208.

ESOP-2014-CrubilleL #bisimulation #call-by #on the #probability #λ-calculus

On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (RC, UDL), pp. 209–228.

ESOP-2014-AguadoMHF #concurrent #programming

Grounding Synchronous Deterministic Concurrency in Sequential Programming (JA, MM, RvH, IF), pp. 229–248.

ESOP-2014-DownenA

The Duality of Construction (PD, ZMA), pp. 249–269.

ESOP-2014-PoulsenM #semantics

Deriving Pretty-Big-Step Semantics from Small-Step Semantics (CBP, PDM), pp. 270–289.

ESOP-2014-NanevskiLSD #communication #concurrent #fine-grained

Communicating State Transition Systems for Fine-Grained Concurrent Resources (AN, RLW, IS, GAD), pp. 290–310.

ESOP-2014-ZomerGRS #encapsulation

Checking Linearizability of Encapsulated Extended Operations (OZ, GGG, GR, MS), pp. 311–330.

ESOP-2014-GhicaS #bound #linear

Bounded Linear Types in a Resource Semiring (DRG, AIS), pp. 331–350.

ESOP-2014-BrunelGMZ #calculus

A Core Quantitative Coeffect Calculus (AB, MG, DM, SZ), pp. 351–370.

ESOP-2014-YoshimizuHFL #higher-order #metric #proving #quantum

Measurements in Proof Nets as Higher-Order Quantum Circuits (AY, IH, CF, UDL), pp. 371–391.

ESOP-2014-KuwaharaTU0 #automation #functional #higher-order #source code #termination #verification

Automatic Termination Verification for Higher-Order Functional Programs (TK, TT, HU, NK), pp. 392–411.

ESOP-2014-UrbanM #abstract domain #ranking

An Abstract Domain to Infer Ordinal-Valued Ranking Functions (CU, AM), pp. 412–431.

ESOP-2014-BrainDKS #generative #proving #source code

Model and Proof Generation for Heap-Manipulating Programs (MB, CD, DK, PS), pp. 432–452.

ESOP-2014-MatosGR #fault #named #using

REAP: Reporting Errors Using Alternative Paths (JM, JG, PR), pp. 453–472.

ESOP-2014-Garnock-JonesTF #network

The Network as a Language Construct (TGJ, STH, MF), pp. 473–492.

ESOP-2014-BocchiMT #nondeterminism

Resolving Non-determinism in Choreographies (LB, HCM, ET), pp. 493–512.

ESOP-2014-MangalNY #analysis #interprocedural

A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join (RM, MN, HY), pp. 513–533.

ESOP-2014-Fu #abstraction #analysis #memory management

Targeted Update — Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis (ZF), pp. 534–553.

ESOP-2014-KothaACESB #bound #parallel #runtime

Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries (AK, KA, TC, KE, MS, RB), pp. 554–574.