Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kazutaka Matsuda, Meng Wang 0002 |
FliPpr: A Prettier Invertible Printing System. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Chang 0001 |
Laziness by Need. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lu 0003, John Potter, Jingling Xue |
Structural Lock Correlation with Ownership Types. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Charguéraud |
Pretty-Big-Step Semantics. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Gotsman, Noam Rinetzky, Hongseok Yang |
Verifying Concurrent Memory Reclamation Algorithms with Grace. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Uwe Nestmann, Ursula Goltz |
On Distributability in Process Calculi. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Sharma 0001, Saurabh Gupta 0001, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori |
A Data Driven Approach for Algebraic Loop Invariants. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig |
Software Verification for Weak Memory via Program Transformation. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Toninho, Luís Caires, Frank Pfenning |
Higher-Order Processes, Functions, and Sessions: A Monadic Integration. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer |
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala |
Abstract Refinement Types. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen, Doron A. Peled |
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nassim Seghir, Daniel Kroening |
Counterexample-Guided Precondition Inference. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña |
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Felleisen, Philippa Gardner (eds.) |
Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis T. Kassios, Eleftherios Kritikos |
A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
Verifying Concurrent Programs against Sequential Specifications. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Constantin Enea, Vlad Saveluc, Mihaela Sighireanu |
Compositional Invariant Checking for Overlaid and Nested Linked Lists. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Andreas Holzer, Michael Tautschnig, Helmut Veith |
Information Reuse for Multi-goal Reachability Analyses. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Budiu, Joel Galenson, Gordon D. Plotkin |
The Compiler Forest. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Christophe Filliâtre, Andrei Paskevich |
Why3 - Where Programs Meet Provers. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark S. Miller, Tom Van Cutsem, Bill Tulloh |
Distributed Electronic Rights in JavaScript. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt |
Constraining Delimited Control with Contracts. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
Modular Reasoning about Separation of Concurrent Data Structures. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva 0001 |
Language Constructs for Non-Well-Founded Computation. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Atsushi Igarashi |
Model-Checking Higher-Order Programs with Recursive Types. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | John Wickerson, Mike Dodds, Matthew J. Parkinson |
Ribbon Proofs for Separation Logic. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang |
Concurrent Library Correctness on the TSO Memory Model. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bjarne Stroustrup |
Foundations of C++. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv |
Eventually Consistent Transactions. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Braband Jensen, Lars Birkedal |
Fictional Separation Logic. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Delphine Demange, David Pichardie |
A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
Complete Monitors for Behavioral Contracts. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jacques-Henri Jourdan, François Pottier, Xavier Leroy |
Validating LR(1) Parsers. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sergueï Lenglet, Joe B. Wells |
Expansion for Universal Quantifiers. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Malo Deniélou, Nobuko Yoshida |
Multiparty Session Types Meet Communicating Automata. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lu 0003, John Potter, Chenyi Zhang, Jingling Xue |
A Type and Effect System for Determinism in Multithreaded Programs. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi |
GMeta: A Generic Formal Metatheory Framework for First-Order Representations. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jun Inoue 0001, Walid Taha |
Reasoning about Multi-stage Programs. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Downen, Zena M. Ariola |
A Systematic Approach to Delimited Control with Multiple Prompts. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kento Emoto, Sebastian Fischer, Zhenjiang Hu |
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Pérez 0001, Luís Caires, Frank Pfenning, Bernardo Toninho |
Linear Logical Relations for Session-Based Concurrency. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Lochbihler |
Java and the Java Memory Model - A Unified, Machine-Checked Formalisation. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Axel Habermaier, Alexander Knapp |
On the Correctness of the SIMT Execution Model of GPUs. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Morten Rhiger |
Staged Computation with Staged Lexical Scope. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Chang 0001, Matthias Felleisen |
The Call-by-Need Lambda Calculus, Revisited. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Reasoning about Lock Placements. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
A Process Algebra for Wireless Mesh Networks. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen |
Trace Spaces: An Efficient New Technique for State-Space Reduction. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch |
Non-monotonic Self-Adjusting Computation. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Neelakantan R. Krishnaswami, Nick Benton |
Adding Equations to System F Types. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl (eds.) |
Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, Stefan Ciobaca, Steve Kremer |
Automated Verification of Equivalence Properties of Cryptographic Protocols. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Chris Chilton, Bengt Jonsson 0001, Marta Z. Kwiatkowska |
A Compositional Specification Theory for Component Behaviours. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Sergey, Dave Clarke 0001 |
Gradual Ownership Types. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
What's Decidable about Weak Memory Models? |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Michael Monerau |
Probabilistic Abstract Interpretation. |
ESOP |
2012 |
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 | João Filipe Belo, Michael Greenberg 0002, Atsushi Igarashi, Benjamin C. Pierce |
Polymorphic Contracts. |
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 | Andrew W. Appel |
Verified Software Toolchain - (Invited Talk). |
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 | Sebastian Hunt, David Sands 0001 |
From Exponential to Polynomial-Time Security Typing via Principal Types. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Jorge A. Pérez 0001, 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 | Cédric Fournet, Jérémy Planul |
Compiling Information-Flow Security to Minimal Trusted Computing Bases. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Burckhardt, Daan Leijen |
Semantics of Concurrent Revisions. |
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 | Aquinas Hobor, Cristian Gherghina |
Barriers in Concurrent Separation Logic. |
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 | Johannes Borgström, Andrew D. Gordon 0001, Michael Greenberg 0002, James Margetson, Jurgen Van Gael |
Measure Transformer Semantics for Bayesian Machine Learning. |
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 | Viviana Bono, Chiara Messa, Luca Padovani |
Typing Copyless Message Passing. |
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 | Michael Colón, Sriram Sankaranarayanan 0001 |
Generalizing the Template Polyhedral Domain. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Urban, Cezary Kaliszyk |
General Bindings and Alpha-Equivalence in Nominal Isabelle. |
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 | Annette Bieniusa, Peter Thiemann 0001 |
Proving Isolation Properties for Software Transactional Memory. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liqian Chen, Antoine Miné, Ji Wang 0001, Patrick Cousot |
Linear Absolute Value Relation Analysis. |
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 | Andrzej S. Murawski, Nikos Tzevelekos |
Algorithmic Nominal Game Semantics. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Martin Gawlitza, David Monniaux |
Improving Strategies via SMT Solving. |
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 | K. Rustan M. Leino, Peter Müller 0001, Jan Smans |
Deadlock-Free Channels and Locks. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vijay D'Silva |
Propositional Interpolation and Abstract Interpretation. |
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 | 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 | Andreas Lochbihler |
Verifying a Compiler for Java Threads. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Cátia Vaz, Carla Ferreira 0001 |
On the Expressive Power of Primitives for Compensation Handling. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen |
Testing Polymorphic Properties. |
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 | Rodrigo Ferreira, Xinyu Feng 0001, Zhong Shao |
Parameterized Memory Models and Concurrent Separation Logic. |
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 | Aslan Askarov, Andrew C. Myers |
A Semantic Framework for Declassification and Endorsement. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Wenner |
Weighted Dynamic Pushdown Networks. |
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 | Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
A Grammar-Based Approach to Invertible Programs. |
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 | Sam Lindley, Philip Wadler |
The Audacity of Hope: Thoughts on Reclaiming the Database Dream. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol, Gustavo Petri |
A Theory of Speculative Computation. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|