Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nikhil Swamy, Juan Chen 0002, Ravi Chugh |
Enforcing Stateful Authorization and Information Flow Policies in Fine. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Assalé Adjé, Stéphane Gaubert, Eric Goubault |
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthew L. Meola, David Walker 0001 |
Faulty Logic: Reasoning about Fault Tolerant Programs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Keiko Nakata 0001, Tarmo Uustalu |
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Fluid Updates: Beyond Strong vs. Weak Updates. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey |
Amortised Resource Analysis with Separation Logic. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Torben Amtoft, John Hatcliff, Edwin Rodríguez |
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David A. Naumann, Anindya Banerjee 0001 |
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Hoffmann 0002, Martin Hofmann 0001 |
Amortized Resource Analysis with Polynomial Potential. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sandrine Blazy, Benoît Robillard, Andrew W. Appel |
Formal Verification of Coalescing Graph-Coloring Register Allocation. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Soulé, Martin Hirzel, Robert Grimm 0001, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu |
A Universal Calculus for Stream Processing Languages. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Generative Operational Semantics for Relaxed Memory Models. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Vardoulakis, Olin Shivers |
CFA2: A Context-Free Approach to Control-Flow Analysis. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adam Koprowski, Henri Binsztok |
TRX: A Formally Verified Parser Interpreter. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001 (eds.) |
Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jesse A. Tov, Riccardo Pucella |
Stateful Contracts for Affine Types. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthew R. Lakin, Andrew M. Pitts |
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy G. Siek, Ronald Garcia, Walid Taha |
Exploring the Design Space of Higher-Order Casts. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maria Grazia Buscemi, Hernán C. Melgratti |
Abstract Processes in Orchestration Languages. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang |
Abstraction for Concurrent Objects. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Mostrous, Nobuko Yoshida, Kohei Honda 0001 |
Global Principal Typing in Partially Commutative Asynchronous Sessions. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Delphine Demange, David Sands 0001 |
All Secrets Great and Small. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Kikuchi, Naoki Kobayashi 0001 |
Type-Based Automated Verification of Authenticity in Cryptographic Protocols. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen |
Practical Variable-Arity Polymorphism. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin, Matija Pretnar |
Handlers of Algebraic Effects. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hridesh Rajan, Jia Tao 0001, Steve M. Shaner, Gary T. Leavens |
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John C. Reynolds |
Using Category Theory to Design Programming Languages. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino, Peter Müller 0001 |
A Basis for Verifying Multi-threaded Programs. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin |
An Interval-Based Inference of Variant Parametric Types. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Castagna (eds.) |
Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hao Yuan, Patrick Th. Eugster |
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Jaskelioff |
Modular Monad Transformers. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Cameron 0001, Sophia Drossopoulou |
Existential Quantification for Variant Ownership. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan |
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Donna Malayeri, Jonathan Aldrich |
Is Structural Subtyping Useful? An Empirical Study. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Ugo Montanari |
Minimization Algorithm for Symbolic Bisimilarity. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aditi Barthwal, Michael Norrish |
Verified, Executable Parsing. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Hugo Torres Vieira |
Conversation Types. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Raza, Cristiano Calcagno, Philippa Gardner |
Automatic Parallelization with Separation Logic. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Max Schäfer, Torbjörn Ekman 0001, Oege de Moor |
Formalising and Verifying Reference Attribute Grammars in Coq. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Brian Campbell 0001 |
Amortised Memory Analysis Using the Depth of Data Structures. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler, Robert Bruce Findler |
Well-Typed Programs Can't Be Blamed. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Eijiro Sumii |
A Theory of Non-monotone Memory (Or: Contexts for free). |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Eber |
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis |
Deny-Guarantee Reasoning. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani, Madan Musuvathi |
Cover Algorithms and Their Combination. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett |
A Realizability Model for Impredicative Hoare Type Theory. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang |
Ranking Abstractions. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adam Poswolsky, Carsten Schürmann 0001 |
Practical Programming with Higher-Order Encodings and Dependent Types. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Di Giusto, Maurizio Gabbrielli |
Full Abstraction for Linda. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tachio Terauchi, Adam Megacz |
Inferring Channel Buffer Bounds Via Linear Programming. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Maria Grazia Buscemi, Ugo Montanari |
Open Bisimulation for the Concurrent Constraint Pi-Calculus. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol |
Typing Safe Deallocation. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Estévez Martín, Antonio J. Fernández 0001, Fernando Sáenz-Pérez |
Playing with TOY: Constraints and Domain Cooperation. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Matthews, Amal Ahmed 0001 |
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, César Kunz |
Certificate Translation in Abstract Interpretation. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson |
Iterative Specialisation of Horn Clauses. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Herman, Mitchell Wand |
A Theory of Hygienic Macros. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Louis Mandel, Luc Maranget |
Programming in JoCaml (Tool Demonstration). |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sophia Drossopoulou (eds.) |
Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Torres Vieira, Luís Caires, João Costa Seco |
The Conversation Calculus: A Model of Service-Oriented Computation. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino, Peter Müller 0001 |
Verification of Equivalent-Results Methods. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bouissou, Matthieu Martel |
A Hybrid Denotational Semantics for Hybrid Systems. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | C.-H. Luke Ong |
Verification of Higher-Order Computation: A Game-Semantic Approach. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Hunt, David Sands 0001 |
Just Forget It - The Semantics and Enforcement of Information Erasure. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yûta Kaneko, Naoki Kobayashi 0001 |
Linear Declassification. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli |
A Formal Implementation of Value Commitment. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Scott Owens |
A Sound Semantics for OCamllight. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Conchon, Jean-Christophe Filliâtre |
Semi-persistent Data Structures. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney |
Regular Expression Subtyping for XML Query and Update Languages. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Allamigeon |
Non-disjunctive Numerical Domain for Array Predicate Abstraction. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli |
Oracle Semantics for Concurrent Separation Logic. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Markus Müller-Olm, Helmut Seidl |
Upper Adjoints for Fast Inter-procedural Variable Equalities. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Coquand |
Constructive Mathematics and Functional Programming (Abstract). |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani, Ashish Tiwari 0001 |
Computing Procedure Summaries for Interprocedural Analysis. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula |
Dependent Types for Low-Level Programming. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Maria Grazia Buscemi, Ugo Montanari |
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
A Concurrent Calculus with Atomic Transactions. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
Modal I/O Automata for Interface and Product Line Theories. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Versari |
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
1 | Heiko Mantel, Alexander Reinhard |
Controlling the What and Where of Declassification in Language-Based Security. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou |
Static Analysis by Policy Iteration on Relational Domains. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio |
The Java Memory Model: Operationally, Denotationally, Axiomatically. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Gawlitza, Helmut Seidl |
Precise Fixpoint Computation Through Strategy Iteration. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Matthias Blume, Jacob Donham |
A Consistent Semantics of Self-adjusting Computation. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Suenaga, Naoki Kobayashi 0001 |
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola (eds.) |
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao |
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino, Wolfram Schulte |
Using History Invariants to Verify Observers. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Derek Dreyer, Matthias Blume |
Principal Type Schemes for Modular Programs. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin |
Small Witnesses for Abstract Interpretation-Based Proofs. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Francalanza, Matthew Hennessy |
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Blanqui, Thérèse Hardin, Pierre Weis |
On the Implementation of Construction Functions for Non-free Concrete Data Types. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
A Calculus for Orchestration of Web Services. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guodong Li, Scott Owens, Konrad Slind |
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Cost Analysis of Java Bytecode. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang |
Scalar Outcomes Suffice for Finitary Probabilistic Testing. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav |
Modular Shape Analysis for Dynamically Encapsulated Programs. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Pitts |
Techniques for Contextual Equivalence in Higher-Order, Typed Languages. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|