default search action

combined dblp search
author search
venue search
publication search

ask others

23. ESOP 2014: Grenoble, France (Part of ETAPS 2014)

> Home > Conferences and Workshops > ESOP
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/esop/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/2014
Zhong Shao:
Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8410, Springer 2014, ISBN 978-3-642-54832-1

Invited Talks

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/HerlihyK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/HerlihyK14
Maurice Herlihy, Eric Koskinen:
Composable Transactional Objects: A Position Paper. 1-7
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LaunchburyADM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LaunchburyADM14
John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens:
Application-Scale Secure Multiparty Computation. 8-26

Type Systems

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/SlepakSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SlepakSM14
Justin Slepak, Olin Shivers, Panagiotis Manolios:
An Array-Oriented Language with Static Rank Polymorphism. 27-46
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/ThiemannF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ThiemannF14
Peter Thiemann, Luminous Fennell:
Gradual Typing for Annotated Type Systems. 47-66
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/DudderMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/DudderMR14
Boris Düdder, Moritz Martens, Jakob Rehof:
Staged Composition Synthesis. 67-86
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/CockxPD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CockxPD14
Jesper Cockx, Frank Piessens, Dominique Devriese:
Overlapping and Order-Independent Patterns - Definitional Equality for All. 87-106

Verified Compilation

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BeringerSDA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BeringerSDA14
Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel:
Verified Compilation for Shared-Memory C. 107-127
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/PercontiA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/PercontiA14
James T. Perconti, Amal Ahmed:
Verifying an Open Compiler Using Multi-language Semantics. 128-148

Program Verification I

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/SvendsenB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SvendsenB14
Kasper Svendsen, Lars Birkedal:
Impredicative Concurrent Abstract Predicates. 149-168
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/GardnerNW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GardnerNW14
Philippa Gardner, Gian Ntzik, Adam Wright:
Local Reasoning for the POSIX File System. 169-188
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BenzakenCD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BenzakenCD14
Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava:
A Coq Formalization of the Relational Data Model. 189-208

Semantics

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/CrubilleL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CrubilleL14
Raphaëlle Crubillé, Ugo Dal Lago:
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. 209-228
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/AguadoMHF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/AguadoMHF14
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann:
Grounding Synchronous Deterministic Concurrency in Sequential Programming. 229-248
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/DownenA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/DownenA14
Paul Downen, Zena M. Ariola:
The Duality of Construction. 249-269
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/PoulsenM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/PoulsenM14
Casper Bach Poulsen, Peter D. Mosses:
Deriving Pretty-Big-Step Semantics from Small-Step Semantics. 270-289

Concurrency

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/NanevskiLSD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/NanevskiLSD14
Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco:
Communicating State Transition Systems for Fine-Grained Concurrent Resources. 290-310
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/ZomerGRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ZomerGRS14
Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv:
Checking Linearizability of Encapsulated Extended Operations. 311-330

Linear Types

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/GhicaS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GhicaS14
Dan R. Ghica, Alex I. Smith:
Bounded Linear Types in a Resource Semiring. 331-350
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BrunelGMZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BrunelGMZ14
Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic:
A Core Quantitative Coeffect Calculus. 351-370
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/YoshimizuHFL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/YoshimizuHFL14
Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago:
Measurements in Proof Nets as Higher-Order Quantum Circuits. 371-391

Program Verification II

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/KuwaharaTU014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KuwaharaTU014
Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi:
Automatic Termination Verification for Higher-Order Functional Programs. 392-411
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/UrbanM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/UrbanM14
Caterina Urban, Antoine Miné:
An Abstract Domain to Infer Ordinal-Valued Ranking Functions. 412-431
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BrainDKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BrainDKS14
Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel:
Model and Proof Generation for Heap-Manipulating Programs. 432-452
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/MatosGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/MatosGR14
João Matos, João Garcia, Paolo Romano:
REAP: Reporting Errors Using Alternative Paths. 453-472

Network and Process Calculi

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/Garnock-JonesTF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Garnock-JonesTF14
Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen:
The Network as a Language Construct. 473-492
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BocchiMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BocchiMT14
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto:
Resolving Non-determinism in Choreographies. 493-512

Program Analysis

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/MangalNY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/MangalNY14
Ravi Mangal, Mayur Naik, Hongseok Yang:
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. 513-533
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/Fu14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Fu14
Zhoulai Fu:
Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis. 534-553
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/KothaACESB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KothaACESB14
Aparna Kotha, Kapil Anand, Timothy Creech, Khaled Elwazeer, Matthew Smithson, Rajeev Barua:
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries. 554-574

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.