ask others

20. ESOP 2011: Saarbrücken, Germany (Part of ETAPS 2011)

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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/2011
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/2011
Gilles Barthe:
Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Lecture Notes in Computer Science 6602, Springer 2011, ISBN 978-3-642-19717-8
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/Appel11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/Appel11
Andrew W. Appel:
Verified Software Toolchain - (Invited Talk). 1-17
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/BeloGIP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/BeloGIP11
João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce:
Polymorphic Contracts. 18-37
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/BieniusaT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/BieniusaT11
Annette Bieniusa, Peter Thiemann:
Proving Isolation Properties for Software Transactional Memory. 38-56
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/BonoMP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/BonoMP11
Viviana Bono, Chiara Messa, Luca Padovani:
Typing Copyless Message Passing. 57-76
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/BorgstromGGMG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/BorgstromGGMG11
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael:
Measure Transformer Semantics for Bayesian Machine Learning. 77-96
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/BrauerK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/BrauerK11
Jörg Brauer, Andy King:
Transfer Function Synthesis without Quantifier Elimination. 97-115
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/BurckhardtL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/BurckhardtL11
Sebastian Burckhardt, Daan Leijen:
Semantics of Concurrent Revisions. 116-135
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/CairesPSVF11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/CairesPSVF11
Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão:
Type-Based Access Control in Data-Centric Systems. 136-155
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/ChenMWC11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/ChenMWC11
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Linear Absolute Value Relation Analysis. 156-175
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/ColonS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/ColonS11
Michael Colón, Sriram Sankaranarayanan:
Generalizing the Template Polyhedral Domain. 176-195
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/DeDN11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/DeDN11
Arnab De, Deepak D'Souza, Rupesh Nasre:
Dataflow Analysis for Datarace-Free Programs. 196-215
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/FournetP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/FournetP11
Cédric Fournet, Jérémy Planul:
Compiling Information-Flow Security to Minimal Trusted Computing Bases. 216-235
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/GawlitzaM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/GawlitzaM11
Thomas Martin Gawlitza, David Monniaux:
Improving Strategies via SMT Solving. 236-255
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/GuhaSK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/GuhaSK11
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi:
Typing Local Control and State Using Flow Analysis. 256-275
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/HoborG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/HoborG11
Aquinas Hobor, Cristian Gherghina:
Barriers in Concurrent Separation Logic. 276-296
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/HuntS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/HuntS11
Sebastian Hunt, David Sands:
From Exponential to Polynomial-Time Security Typing via Principal Types. 297-316
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/JensenKP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/JensenKP11
Thomas P. Jensen, Florent Kirchner, David Pichardie:
Secure the Clones - Static Enforcement of Policies for Secure Object Copying. 317-337
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/JohnLNV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/JohnLNV11
Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari:
Biochemical Reaction Rules with Constraints. 338-357
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/KoutavasH11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/KoutavasH11
Vasileios Koutavas, Matthew Hennessy:
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). 358-377
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/JimM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/JimM11
Trevor Jim, Yitzhak Mandelbaum:
A New Method for Dependent Parsing. 378-397
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/Mine11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/Mine11
Antoine Miné:
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. 398-418
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/MurawskiT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/MurawskiT11
Andrzej S. Murawski, Nikos Tzevelekos:
Algorithmic Nominal Game Semantics. 419-438
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/ParkinsonS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/ParkinsonS11
Matthew J. Parkinson, Alexander J. Summers:
The Relationship between Separation Logic and Implicit Dynamic Frames. 439-458
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/SotinJ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/SotinJ11
Pascal Sotin, Bertrand Jeannet:
Precise Interprocedural Analysis in the Presence of Pointers to the Stack. 459-479
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/UrbanK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/UrbanK11
Christian Urban, Cezary Kaliszyk:
General Bindings and Alpha-Equivalence in Nominal Isabelle. 480-500

maintained by

at