Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Front Matter....Pages 1-12
Probabilistic Programs as Spreadsheet Queries....Pages 1-25
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection....Pages 26-52
Running Probabilistic Programs Backwards....Pages 53-79
A Verified Compiler for Probability Density Functions....Pages 80-104
Segment Abstraction for Worst-Case Execution Time Analysis....Pages 105-131
Automatic Static Cost Analysis for Parallel Programs....Pages 132-157
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs....Pages 158-182
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs....Pages 183-204
A Theory of Name Resolution....Pages 205-231
A Core Calculus for XQuery 3.0....Pages 232-256
 IsoLATE : A Type System for Self-recursion....Pages 257-282
The Problem of Programming Language Concurrency Semantics....Pages 283-307
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO....Pages 308-332
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity....Pages 333-358
Witnessing (Co)datatypes....Pages 359-382
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System....Pages 383-405
Refinement Types for Incremental Computational Complexity....Pages 406-431
Monotonic References for Efficient Gradual Typing....Pages 432-456
Inter-procedural Two-Variable Herbrand Equalities....Pages 457-482
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages....Pages 483-509
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions....Pages 510-534
Analysis of Asynchronous Programs with Event-Based Synchronization....Pages 535-559
A Semantics for Propositions as Sessions....Pages 560-584
Composite Replicated Data Types....Pages 585-609
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement....Pages 610-633
Spatial Interpolants....Pages 634-660
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs....Pages 661-684
Full Reduction in the Face of Absurdity....Pages 685-709
CoLoSL: Concurrent Local Subjective Logic....Pages 710-735
A Separation Logic for Fictional Sequential Consistency....Pages 736-761
Binding Structures as an Abstract Data Type....Pages 762-786
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages....Pages 787-811
Type Targeted Testing....Pages 812-836
Back Matter....Pages 837-838