Jan Vitek
Proceedings of the 24th European Symposium on Programming
ESOP, 2015.

@proceedings{ESOP-2015,
	address       = "London, England, United Kingdom",
	doi           = "10.1007/978-3-662-46669-8",
	editor        = "Jan Vitek",
	isbn          = "978-3-662-46668-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 24th European Symposium on Programming}",
	volume        = 9032,
	year          = 2015,
}

Contents (33 items)

8 ×#source code
4 ×#type system
3 ×#analysis
3 ×#concurrent
3 ×#data type
3 ×#probability
2 ×#abstraction
2 ×#automation
2 ×#detection
2 ×#logic

ESOP-2015-GordonRSBRGT #probability #query #source code #spreadsheet

Probabilistic Programs as Spreadsheet Queries (ADG, CVR, MS, JB, NR, TG, DT), pp. 1–25.

ESOP-2015-ChengR #detection #spreadsheet #static analysis

Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection (TC, XR), pp. 26–52.

ESOP-2015-TorontoMH #probability #source code

Running Probabilistic Programs Backwards (NT, JM, DVH), pp. 53–79.

ESOP-2015-EberlHN #compilation #probability

A Verified Compiler for Probability Density Functions (ME, JH, TN), pp. 80–104.

ESOP-2015-CernyHKRZ #abstraction #analysis #execution #worst-case

Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.

ESOP-2015-0002S #automation #cost analysis #parallel #source code

Automatic Static Cost Analysis for Parallel Programs (JH, ZS), pp. 132–157.

ESOP-2015-Penninckx0P #behaviour #composition #source code #verification

Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs (WP, BJ, FP), pp. 158–182.

ESOP-2015-DavidKL #source code #strict #termination

Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs (CD, DK, ML), pp. 183–204.

ESOP-2015-NeronTVW #formal method

A Theory of Name Resolution (PN, APT, EV, GW), pp. 205–231.

ESOP-2015-CastagnaI0B #calculus #pattern matching #xquery

A Core Calculus for XQuery 3.0 — Combining Navigational and Pattern Matching Approaches (GC, HI, KN, VB), pp. 232–256.

ESOP-2015-Chugh #named #recursion #self #type system

IsoLATE: A Type System for Self-recursion (RC), pp. 257–282.

ESOP-2015-BattyMNPS #concurrent #problem #programming language #semantics

The Problem of Programming Language Concurrency Semantics (MB, KM, KN, JPP, PS), pp. 283–307.

ESOP-2015-AbdullaAP #performance

The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO (PAA, MFA, NTP), pp. 308–332.

ESOP-2015-SergeyNB #algorithm #concurrent #specification #verification

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity (IS, AN, AB), pp. 333–358.

ESOP-2015-Blanchette0T #data type

Witnessing (Co)datatypes (JCB, AP, DT), pp. 359–382.

ESOP-2015-FetscherCPHF #automation #generative #random #type system

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (BF, KC, MHP, JH, RBF), pp. 383–405.

ESOP-2015-CicekGA #complexity #incremental #refinement

Refinement Types for Incremental Computational Complexity (EÇ, DG, UAA), pp. 406–431.

ESOP-2015-SiekVCTG #performance #type system

Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.

ESOP-2015-FrielinghausPS #interprocedural

Inter-procedural Two-Variable Herbrand Equalities (SSF, MP, HS), pp. 457–482.

ESOP-2015-CoxCR #abstraction #multi #source code

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages (AC, BYEC, XR), pp. 483–509.

ESOP-2015-CalzavaraBCS #detection #fine-grained

Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions (SC, MB, SC, ES), pp. 510–534.

ESOP-2015-EmmiGMR #analysis #source code

Analysis of Asynchronous Programs with Event-Based Synchronization (ME, PG, RM, FRV), pp. 535–559.

ESOP-2015-LindleyM #semantics

A Semantics for Propositions as Sessions (SL, JGM), pp. 560–584.

ESOP-2015-GotsmanY #data type

Composite Replicated Data Types (AG, HY), pp. 585–609.

ESOP-2015-TerauchiU #approach #refinement

Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement (TT, HU), pp. 610–633.

ESOP-2015-AlbarghouthiBCK

Spatial Interpolants (AA, JB, BC, ZK), pp. 634–660.

ESOP-2015-DavidKL15a #reasoning #safety #source code #termination

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs (CD, DK, ML), pp. 661–684.

ESOP-2015-SchererR #reduction

Full Reduction in the Face of Absurdity (GS, DR), pp. 685–709.

ESOP-2015-RaadVG #concurrent #logic #named

CoLoSL: Concurrent Local Subjective Logic (AR, JV, PG), pp. 710–735.

ESOP-2015-SieczkowskiSBP #consistency #logic

A Separation Logic for Fictional Sequential Consistency (FS, KS, LB, JPP), pp. 736–761.

ESOP-2015-Ricciotti #data type

Binding Structures as an Abstract Data Type (WR), pp. 762–786.

ESOP-2015-VasconcelosJFH #analysis #functional #lazy evaluation #recursion #type system

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.

ESOP-2015-SeidelVJ #testing

Type Targeted Testing (ELS, NV, RJ), pp. 812–836.