Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Luís Caires (eds.) |
Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Samuele Buro, Isabella Mastroeni |
On the Multi-Language Construction. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Henning Basold, Ekaterina Komendantskaya, Yue Li 0021 |
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Boutillier, Ioana Cristescu, Jérôme Feret |
Counters in Kappa: Semantics, Simulation, and Static Analysis. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Taro Sekiyama, Atsushi Igarashi |
Handling Polymorphic Algebraic Effects. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Francesco Gavazzo |
Effectful Normal Form Bisimulation. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Hugo Paquet |
Probabilistic Programming Inference via Intensional Semantics. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikita Chopra, Rekha R. Pai, Deepak D'Souza |
Data Races and Static Analysis for Interrupt-Driven Kernels. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Maurizio Murgia 0001, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout |
An Abstract Domain for Trees with Numeric Relations. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marco Patrignani, Deepak Garg 0001 |
Robustly Safe Compilation. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ken Sakayori, Takeshi Tsukada |
A Categorical Model of an \mathbf i/o -typed \pi -calculus. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dylan McDermott, Alan Mycroft |
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers |
Distributive Disjoint Polymorphism for Compositional Programming. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Glen Mével, Jacques-Henri Jourdan, François Pottier |
Time Credits and Time Receipts in Iris. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ismail Kuru 0001, Colin S. Gordon |
Safe Deferred Memory Reclamation with Types. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong |
Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Giulio Guerrieri, Maico Leberle |
Types by Need. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Balzer, Bernardo Toninho, Frank Pfenning |
Manifest Deadlock-Freedom for Shared Session Types. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinand Vesely, Kathleen Fisher |
One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Li-yao Xia, Dominic Orchard, Meng Wang 0002 |
Composing Bidirectional Programs Monadically. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke |
Compiling Sandboxes: Formally Verified Software Fault Isolation. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Gilbert 0002 |
Verifiable Certificates for Predicate Subtyping. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dan Frumin, Léon Gondelman, Robbert Krebbers |
Semi-automated Reasoning About Non-determinism in C Expressions. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster |
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Toninho, Nobuko Yoshida |
On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Takeshi Tsukada, Keiichi Watanabe |
Higher-Order Program Verification via HFL Model Checking. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Merten, Alexander Bagnall, Gordon Stewart 0001 |
Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo |
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden |
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira |
Consistent Subtyping for All. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Bengt Jonsson 0001, Cong Quy Trinh |
Fragment Abstraction for Concurrent Shape Analysis. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad |
Correctness of a Concurrent Object Collector for Actor Languages. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lau Skorstengaard, Dominique Devriese, Lars Birkedal |
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kazutaka Matsuda, Meng Wang 0002 |
HOBiT: Programming Lenses Without Using Lens Combinators. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Aguirre 0001, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg 0001 |
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jafar Hamin, Bart Jacobs 0002 |
Deadlock-Free Monitors. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hannah Gommerstadt, Limin Jia 0001, Frank Pfenning |
Session-Typed Concurrent Contracts. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek |
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ningning Xie, Bruno C. d. S. Oliveira |
Let Arguments Go First. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Azalea Raad, Ori Lahav 0001, Viktor Vafeiadis |
On Parallel Snapshot Isolation and Release/Acquire Consistency. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alex Simpson, Niels F. W. Voorneveld |
Behavioural Equivalence via Modalities for Algebraic Effects. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Kappé, Paul Brunet, Alexandra Silva 0001, Fabio Zanasi |
Concurrent Kleene Algebra: Free Model and Completeness. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Armaël Guéneau, Arthur Charguéraud, François Pottier |
A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey |
Paxos Consensus, Deconstructed and Abstracted. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco Eilers, Peter Müller 0001, Samuel Hitz |
Modular Product Programs. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Radha Jagadeesan, James Riely |
Eventual Consistency for CRDTs. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks 0001 |
Evaluating Design Tradeoffs in Numeric Static Analysis for Java. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Brandon M. Moore, Lucas Peña, Grigore Rosu |
Program Verification by Coinduction. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mike Dodds, Mark Batty, Alexey Gotsman |
Compositional Verification of Compiler Optimisations on Relaxed Memory. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amal Ahmed 0001 (eds.) |
Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers |
Explicit Effect Subtyping. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Marie Pédrot, Nicolas Tabareau |
Failure is Not an Option - An Exceptional Type Theory. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xuan Bach Le, Aquinas Hobor |
Logical Reasoning for Disjoint Permissions. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ostermann, Julian Jabs |
Dualizing Generalized Algebraic Data Types by Matrix Transposition. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav 0001, Viktor Vafeiadis |
A Separation Logic for a Promising Semantics. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner |
Quantitative Analysis of Smart Contracts. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
An Assertion-Based Program Logic for Probabilistic Programs. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Bichsel, Timon Gehr, Martin T. Vechev |
Fine-Grained Semantics for Probabilistic Programs. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Caterina Urban, Peter Müller 0001 |
An Abstract Interpretation Framework for Input Data Usage. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lars Hupel, Tobias Nipkow |
A Verified Compiler from Isabelle/HOL to CakeML. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Tassarotti, Ralf Jung 0002, Robert Harper 0001 |
A Higher-Order Logic for Concurrent Termination-Preserving Refinement. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson |
Proving Linearizability Using Partial Orders. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tim Wood 0004, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach |
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong |
ML and Extended Branching VASS. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leinberger, Ralf Lämmel, Steffen Staab |
The Essence of Functional Programming on Semantic Data. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner |
Abstract Specifications for Concurrent Maps. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis |
Faster Algorithms for Weighted Recursive State Machines. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Ferreira 0001, Brigitte Pientka |
Programs Using Syntax with First-Class Binders. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robbert Krebbers, Ralf Jung 0002, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal |
The Essence of Higher-Order Concurrent Separation Logic. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hao Tang, Di Wang 0017, Yingfei Xiong 0001, Lingming Zhang 0001, Xiaoyin Wang, Lu Zhang 0023 |
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi |
Confluence of Graph Rewriting with Interfaces. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hongseok Yang (eds.) |
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Kop, Jakob Grue Simonsen |
The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Charguéraud, François Pottier |
Temporary Read-Only Permissions for Separation Logic. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ryosuke Sato 0001, Naoki Kobayashi 0001 |
Modular Verification of Higher-Order Functional Programs. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Kuncar, Andrei Popescu 0001 |
Comprehending Isabelle/HOL's Consistency. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jana Dunfield |
Extensible Datasort Refinements. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns |
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu 0001, Dmitriy Traytel |
Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marko Doko, Viktor Vafeiadis |
Tackling Real-Life Relaxed Concurrency with FSL++. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Miquey |
A Classical Sequent Calculus with Dependent Types. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran |
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Gibbons |
APLicative Programming with Naperian Functors. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani |
Context-Free Session Type Inference. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raphaëlle Crubillé, Ugo Dal Lago |
Metric Reasoning About \lambda -Terms: The General Case. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Jorge A. Pérez 0001 |
Linearity, Control Effects, and Behavioral Types. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll 0001, Florian Zuleger |
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sam Staton |
Commutative Semantics for Probabilistic Programming. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Charles Grellois |
Probabilistic Termination by Monadic Affine Sized Typing. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Culpepper, Andrew Cobb |
Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | João Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi |
Disjoint Polymorphism. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Armaël Guéneau, Magnus O. Myreen, Ramana Kumar, Michael Norrish |
Verified Characteristic Formulae for CakeML. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal |
Caper - Automatic Verification for Fine-Grained Concurrency. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey |
Observed Communication Semantics for Classical Processes. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aïna Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka |
LINCX: A Linear Logical Framework with First-Class Contexts. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Boutillier, Thomas Ehrhard, Jean Krivine |
Incremental Update for Graph Rewriting. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Francesco Dagnino, Elena Zucca |
Generalizing Inference Systems by Coaxioms. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard |
Call-By-Push-Value from a Linear Logic Point of View. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|