| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christian Urban, Cezary Kaliszyk |
General Bindings and Alpha-Equivalence in Nominal Isabelle.  |
ESOP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Annette Bieniusa, Peter Thiemann |
Proving Isolation Properties for Software Transactional Memory. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi |
Typing Local Control and State Using Flow Analysis. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Miné |
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Nikos Tzevelekos |
Algorithmic Nominal Game Semantics. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Daan Leijen |
Semantics of Concurrent Revisions. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe (eds.) |
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 |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, David Monniaux |
Improving Strategies via SMT Solving. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Jérémy Planul |
Compiling Information-Flow Security to Minimal Trusted Computing Bases. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Andy King |
Transfer Function Synthesis without Quantifier Elimination. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aquinas Hobor, Cristian Gherghina |
Barriers in Concurrent Separation Logic. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Sotin, Bertrand Jeannet |
Precise Interprocedural Analysis in the Presence of Pointers to the Stack. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael |
Measure Transformer Semantics for Bayesian Machine Learning. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Colón, Sriram Sankaranarayanan |
Generalizing the Template Polyhedral Domain. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce |
Polymorphic Contracts. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew W. Appel |
Verified Software Toolchain - (Invited Talk). |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew J. Parkinson, Alexander J. Summers |
The Relationship between Separation Logic and Implicit Dynamic Frames. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen, Florent Kirchner, David Pichardie |
Secure the Clones - Static Enforcement of Policies for Secure Object Copying. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Chiara Messa, Luca Padovani |
Typing Copyless Message Passing. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor Jim, Yitzhak Mandelbaum |
A New Method for Dependent Parsing. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari |
Biochemical Reaction Rules with Constraints. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Hunt, David Sands |
From Exponential to Polynomial-Time Security Typing via Principal Types. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasileios Koutavas, Matthew Hennessy |
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot |
Linear Absolute Value Relation Analysis. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab De, Deepak D'Souza, Rupesh Nasre |
Dataflow Analysis for Datarace-Free Programs. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave King 0002, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
Automating Security Mediation Placement. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Wenner |
Weighted Dynamic Pushdown Networks. |
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 | Robert Atkey |
Amortised Resource Analysis with Separation Logic. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Ulrich Schöpp |
Functional Programming in Sublinear Space. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Ferreira, Xinyu Feng, Zhong Shao |
Parameterized Memory Models and Concurrent Separation Logic. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen |
Testing Polymorphic Properties. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
A Grammar-Based Approach to Invertible Programs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon (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 | 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 | Patrick Baillot, Marco Gaboardi, Virgile Mogbil |
A PolyTime Functional Language from Light Linear Logic. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hoffmann 0002, Martin Hofmann |
Amortized Resource Analysis with Polynomial Potential. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Lochbihler |
Verifying a Compiler for Java Threads. |
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 | David A. Naumann, Anindya Banerjee |
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay D'Silva |
Propositional Interpolation and Abstract Interpretation. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Juan Chen, Ravi Chugh |
Enforcing Stateful Authorization and Information Flow Policies in Fine. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, Philip Wadler |
The Audacity of Hope: Thoughts on Reclaiming the Database Dream. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Wickerson, Mike Dodds, Matthew J. Parkinson |
Explicit Stabilisation for Modular Rely-Guarantee Reasoning. |
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 | Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival |
Separating Shape Graphs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Soulé, Martin Hirzel, Robert Grimm, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu |
A Universal Calculus for Stream Processing Languages. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Logical Concurrency Control from Sequential Proofs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Gustavo Petri |
A Theory of Speculative Computation. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino, Peter Müller, Jan Smans |
Deadlock-Free Channels and Locks. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew L. Meola, David Walker |
Faulty Logic: Reasoning about Fault Tolerant Programs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse A. Tov, Riccardo Pucella |
Stateful Contracts for Affine Types. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata, Tarmo Uustalu |
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Andrew Myers |
A Semantic Framework for Declassification and Endorsement. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Cátia Vaz, Carla Ferreira |
On the Expressive Power of Primitives for Compensation Handling. |
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 | Mauro Jaskelioff |
Modular Monad Transformers. |
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 | Aditi Barthwal, Michael Norrish |
Verified, Executable Parsing. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino, Peter Müller |
A Basis for Verifying Multi-threaded Programs. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas R. Cameron, Sophia Drossopoulou |
Existential Quantification for Variant Ownership. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Jia Tao, 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 | Matthew R. Lakin, Andrew M. Pitts |
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Delphine Demange, David Sands |
All Secrets Great and Small. |
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 | 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 | Luís Caires, Hugo Torres Vieira |
Conversation Types. |
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 | Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin |
An Interval-Based Inference of Variant Parametric 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 | Jeremy G. Siek, Ronald Garcia, Walid Taha |
Exploring the Design Space of Higher-Order Casts. |
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 | Dimitris Mostrous, Nobuko Yoshida, Kohei Honda |
Global Principal Typing in Partially Commutative Asynchronous Sessions. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Matija Pretnar |
Handlers of Algebraic Effects. |
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 | Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis |
Deny-Guarantee Reasoning. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Minimization Algorithm for Symbolic Bisimilarity. |
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 | Maria Grazia Buscemi, Hernán C. Melgratti |
Abstract Processes in Orchestration Languages. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Kikuchi, Naoki Kobayashi |
Type-Based Automated Verification of Authenticity in Cryptographic Protocols. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Campbell |
Amortised Memory Analysis Using the Depth of Data Structures. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Schäfer, Torbjörn Ekman, Oege de Moor |
Formalising and Verifying Reference Attribute Grammars in Coq. |
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 | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang |
Ranking Abstractions. |
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 | 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 | 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 | Sebastian Hunt, David Sands |
Just Forget It - The Semantics and Enforcement of Information Erasure. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon |
Non-disjunctive Numerical Domain for Array Predicate Abstraction. |
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 | James Cheney |
Regular Expression Subtyping for XML Query and Update Languages. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yûta Kaneko, Naoki Kobayashi |
Linear Declassification. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Poswolsky, Carsten Schürmann |
Practical Programming with Higher-Order Encodings and Dependent Types. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bouissou, Matthieu Martel |
A Hybrid Denotational Semantics for Hybrid Systems. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")