Helmut Seidl
Proceedings of the 21st European Symposium on Programming
ESOP, 2012.

@proceedings{ESOP-2012,
	address       = "Tallinn, Estonia",
	doi           = "10.1007/978-3-642-28869-2",
	editor        = "Helmut Seidl",
	isbn          = "978-3-642-28868-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 21st European Symposium on Programming}",
	volume        = 7211,
	year          = 2012,
}

Contents (29 items)

3 ×#memory management
3 ×#multi
2 ×#behaviour
2 ×#concurrent
2 ×#correctness
2 ×#framework
2 ×#logic
2 ×#parallel
2 ×#reasoning
2 ×#source code

ESOP-2012-Stroustrup #c++

Foundations of C++ (BS), pp. 1–25.

ESOP-2012-AtigBBM #decidability #memory management #modelling #question #what

What’s Decidable about Weak Memory Models? (MFA, AB, SB, MM), pp. 26–46.

ESOP-2012-BartheDP

A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.

ESOP-2012-BurckhardtLFS #consistency #transaction

Eventually Consistent Transactions (SB, DL, MF, MS), pp. 67–86.

ESOP-2012-BurckhardtGMY #concurrent #correctness #library #memory management

Concurrent Library Correctness on the TSO Memory Model (SB, AG, MM, HY), pp. 87–107.

ESOP-2012-ChadhaCK #automation #encryption #equivalence #protocol #verification

Automated Verification of Equivalence Properties of Cryptographic Protocols (RC, SC, SK), pp. 108–127.

ESOP-2012-ChangF #call-by #revisited #λ-calculus

The Call-by-Need λ Calculus, Revisited (SC, MF), pp. 128–147.

ESOP-2012-ChenCJK #behaviour #component #composition #specification

A Compositional Specification Theory for Component Behaviours (TC, CC, BJ, MZK), pp. 148–168.

ESOP-2012-CousotM #abstract interpretation #probability

Probabilistic Abstract Interpretation (PC, MM), pp. 169–193.

ESOP-2012-DenielouY #automaton #communication #multi

Multiparty Session Types Meet Communicating Automata (PMD, NY), pp. 194–213.

ESOP-2012-DimoulasTF #behaviour #contract #monitoring

Complete Monitors for Behavioral Contracts (CD, STH, MF), pp. 214–233.

ESOP-2012-DownenA #approach #multi

A Systematic Approach to Delimited Control with Multiple Prompts (PD, ZMA), pp. 234–253.

ESOP-2012-EmotoFH #framework #parallel #pipes and filters #programming

Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce (KE, SF, ZH), pp. 254–273.

ESOP-2012-FajstrupGHMR #performance #reduction

Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.

ESOP-2012-FehnkerGHMPT #algebra #network #process

A Process Algebra for Wireless Mesh Networks (AF, RJvG, PH, AM, MP, WLT), pp. 295–315.

ESOP-2012-HabermaierK #correctness #execution #on the

On the Correctness of the SIMT Execution Model of GPUs (AH, AK), pp. 316–335.

ESOP-2012-HawkinsAFRS #reasoning

Reasoning about Lock Placements (PH, AA, KF, MCR, MS), pp. 336–356.

ESOP-2012-InoueT #multi #reasoning #source code

Reasoning about Multi-stage Programs (JI, WT), pp. 357–376.

ESOP-2012-JensenB #logic

Fictional Separation Logic (JBJ, LB), pp. 377–396.

ESOP-2012-JourdanPL #lr #parsing #validation

Validating LR(1) Parsers (JHJ, FP, XL), pp. 397–416.

ESOP-2012-KrishnaswamiB #equation #system f

Adding Equations to System F Types (NRK, NB), pp. 417–435.

ESOP-2012-LeeOCY #first-order #framework #named

GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.

ESOP-2012-LengletW #quantifier

Expansion for Universal Quantifiers (SL, JBW), pp. 456–475.

ESOP-2012-Ley-WildAB #self

Non-monotonic Self-Adjusting Computation (RLW, UAA, GEB), pp. 476–496.

ESOP-2012-Lochbihler #formal method #java #memory management

Java and the Java Memory Model — A Unified, Machine-Checked Formalisation (AL), pp. 497–517.

ESOP-2012-LuPZX #parallel #source code #thread

A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.

ESOP-2012-PerezCPT #concurrent #linear #logic

Linear Logical Relations for Session-Based Concurrency (JAP, LC, FP, BT), pp. 539–558.

ESOP-2012-Rhiger #staged

Staged Computation with Staged Lexical Scope (MR), pp. 559–578.

ESOP-2012-SergeyC

Gradual Ownership Types (IS, DC), pp. 579–599.