researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1986
1988
1990
1992
1994
1996
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
analysis
compiler
constraints
data-flow
data-flow analysis
functional programming
graph-rewriting
logic
logic programming
meta-model
programming
programming languages
rewriting
rule-based
semantics
systematic-approach
type inference
type system
Filter by Author
[+]
OR
AND
NOT
1
Alexey Gotsman
Andy King
Antoine Miné
Flemming Nielson
Frank Pfenning
François Pottier
Gilles Barthe
Hanne Riis Nielson
Helmut Seidl
Hongseok Yang
Lars Birkedal
Luís Caires
Marco Gaboardi
Matthias Felleisen
Naoki Kobayashi 0001
Nobuko Yoshida
Peter Thiemann
Thomas P. Jensen
Thomas W. Reps
Ugo Dal Lago
Filter by Top terms
[+]
OR
AND
NOT
1
abstract
analysis
calculus
concurrent
esop
european
functional
higher
language
languages
logic
order
programming
programs
semantics
software
systems
theory
type
types
European Symposium on Programming (ESOP)
Editions
Publications
Viewing Publication 1 - 100 from 946
2024
Maximal Quantified Precondition Synthesis for Linear Array Loops
Sumanth Prabhu 0001
,
Grigory Fedyukovich
,
Deepak D'Souza
.
ESOP 2024
:
245-274
[doi]
A Formal Treatment of Bidirectional Typing
Liang-TIng Chen 0001
,
Hsiang-Shang Ko
.
ESOP 2024
:
115-142
[doi]
Program Synthesis from Graded Types
Jack Hughes 0002
,
Dominic Orchard
.
ESOP 2024
:
83-112
[doi]
On the Hardness of Analyzing Quantum Programs Quantitatively
Martin Avanzini
,
Georg Moser
,
Romain Péchoux
,
Simon Perdrix
.
ESOP 2024
:
31-58
[doi]
The Session Abstract Machine
Luís Caires
,
Bernardo Toninho
.
ESOP 2024
:
206-235
[doi]
Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence
Cyril Cohen
,
Enzo Crance
,
Assia Mahboubi
.
ESOP 2024
:
269-274
[doi]
Trocq: Proof Transfer for Free, With or Without Univalence
Cyril Cohen
,
Enzo Crance
,
Assia Mahboubi
.
ESOP 2024
:
239-268
[doi]
Circuit Width Estimation via Effect Typing and Linear Dependency
Andrea Colledan
,
Ugo Dal Lago
.
ESOP 2024
:
3-30
[doi]
A Denotational Approach to Release/Acquire Concurrency
Yotam Dvir
,
Ohad Kammar
,
Ori Lahav 0001
.
ESOP 2024
:
121-149
[doi]
Generic bidirectional typing for dependent type theories
Thiago Felicissimo
.
ESOP 2024
:
143-170
[doi]
Artifact report: Generic bidirectional typing for dependent type theories
Thiago Felicissimo
.
ESOP 2024
:
171-175
[doi]
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping
Hiroya Fujinami
,
Ichiro Hasuo
.
ESOP 2024
:
90-118
[doi]
Monadic Intersection Types, Relationally
Francesco Gavazzo
,
Riccardo Treglia
,
Gabriele Vanoni
.
ESOP 2024
:
22-51
[doi]
Higher-Order LCTRSs and Their Termination
Liye Guo
,
Cynthia Kop
.
ESOP 2024
:
331-357
[doi]
Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis
Jason Z. S. Hu
,
Brigitte Pientka
.
ESOP 2024
:
52-82
[doi]
Hyperproperty Verification as CHC Satisfiability
Shachar Itzhaky
,
Sharon Shoham
,
Yakir Vizel
.
ESOP 2024
:
212-241
[doi]
Verified Inlining and Specialisation for PureCake
Hrutvik Kanabar
,
Kacper Korban
,
Magnus O. Myreen
.
ESOP 2024
:
275-301
[doi]
A Modular Soundness Theory for the Blackboard Analysis Architecture
Sven Keidel
,
Dominik Helm
,
Tobias Roth
,
Mira Mezini
.
ESOP 2024
:
361-390
[doi]
Definitional Functoriality for Dependent (Sub)Types
Théo Laurent
,
Meven Lennon-Bertrand
,
Kenji Maillard
.
ESOP 2024
:
302-331
[doi]
Artifact Description - Definitional Functoriality for Dependent (Sub)Types
Théo Laurent
,
Meven Lennon-Bertrand
,
Kenji Maillard
.
ESOP 2024
:
332-337
[doi]
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation
Pierre Lermusiaux
,
Benoît Montagu
.
ESOP 2024
:
391-420
[doi]
Deciding Subtyping for Asynchronous Multiparty Sessions
Elaine Li
,
Felix Stutz
,
Thomas Wies
.
ESOP 2024
:
176-205
[doi]
Scoped Effects as Parameterized Algebraic Theories
Sam Lindley
,
Cristina Matache
,
Sean K. Moss
,
Sam Staton
,
Nicolas Wu
,
Zhixuan Yang
.
ESOP 2024
:
3-21
[doi]
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
Daniel Lundén
,
Lars Hummelgren
,
Jan Kudlicka
,
Oscar Eriksson
,
David Broman
.
ESOP 2024
:
302-330
[doi]
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Raphaël Monat
,
Aymeric Fromherz
,
Denis Merigoux
.
ESOP 2024
:
421-450
[doi]
Observational Equality Meets CIC
Loïc Pujet
,
Nicolas Tabareau
.
ESOP 2024
:
275-301
[doi]
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency
Azalea Raad
,
Ori Lahav 0001
,
John Wickerson
,
Piotr Balcer
,
Brijesh Dongol
.
ESOP 2024
:
180-184
[doi]
Intel PMDK Transactions: Specification, Validation and Concurrency
Azalea Raad
,
Ori Lahav 0001
,
John Wickerson
,
Piotr Balcer
,
Brijesh Dongol
.
ESOP 2024
:
150-179
[doi]
Specifying and Verifying Persistent Libraries
Léo Stefanesco
,
Azalea Raad
,
Viktor Vafeiadis
.
ESOP 2024
:
185-211
[doi]
Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Stephanie Weirich
, editor,
Volume 14576 of
Lecture Notes in Computer Science
, Springer,
2024.
[doi]
Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Stephanie Weirich
, editor,
Volume 14577 of
Lecture Notes in Computer Science
, Springer,
2024.
[doi]
Reconciling Partial and Local Invertibility
Anders Ågren Thuné
,
Kazutaka Matsuda
,
Meng Wang 0002
.
ESOP 2024
:
59-89
[doi]
2023
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
Michael Schwarz 0007
,
Simmo Saan
,
Helmut Seidl
,
Julian Erhard
,
Vesal Vojdani
.
ESOP 2023
:
28-58
[doi]
Builtin Types Viewed as Inductive Families
Guillaume Allais
.
ESOP 2023
:
113-139
[doi]
Logics for Extensional, Locally Complete Analysis via Domain Refinements
Flavio Ascari
,
Roberto Bruni
,
Roberta Gori
.
ESOP 2023
:
1-27
[doi]
MAGπ: Types for Failure-Prone Communication
Matthew Alan Le Brun
,
Ornela Dardha
.
ESOP 2023
:
363-391
[doi]
Type-safe Quantum Programming in Idris
Liliane-Joy Dandy
,
Emmanuel Jeandel
,
Vladimir Zamdzhiev
.
ESOP 2023
:
507-534
[doi]
A Type System for Effect Handlers and Dynamic Labels
Paulo Emílio de Vilhena
,
François Pottier
.
ESOP 2023
:
225-252
[doi]
Modal Crash Types for Intermittent Computing
Farzaneh Derakhshan
,
Myra Dotzel
,
Milijana Surbatovich
,
Limin Jia 0001
.
ESOP 2023
:
168-196
[doi]
Adversarial Reachability for Program-level Security Analysis
Soline Ducousso
,
Sébastien Bardin
,
Marie-Laure Potet
.
ESOP 2023
:
59-89
[doi]
Gradual Tensor Shape Checking
Momoko Hattori
,
Naoki Kobayashi 0001
,
Ryosuke Sato 0001
.
ESOP 2023
:
197-224
[doi]
Bunched Fuzz: Sensitivity for Vector Metrics
june wunder
,
Arthur Azevedo de Amorim
,
Patrick Baillot
,
Marco Gaboardi
.
ESOP 2023
:
451-478
[doi]
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
Basim Khajwal
,
C.-H. Luke Ong
,
Dominik Wagner
.
ESOP 2023
:
479-506
[doi]
Automated Grading of Regular Expressions
Su-Hyeon Kim
,
Youngwook Kim
,
Yo-Sub Han
,
Hyeonseung Im
,
Sang-Ki Ko
.
ESOP 2023
:
90-112
[doi]
Interpreting Knowledge-based Programs
Alexander Knapp
,
Heribert Mühlberger
,
Bernhard Reus
.
ESOP 2023
:
253-280
[doi]
Automatic Alignment in Higher-Order Probabilistic Programming Languages
Daniel Lundén
,
Gizem Çaylak
,
Fredrik Ronquist
,
David Broman
.
ESOP 2023
:
535-563
[doi]
Contextual Modal Type Theory with Polymorphic Contexts
Yuito Murase
,
Yuichi Nishiwaki
,
Atsushi Igarashi
.
ESOP 2023
:
281-308
[doi]
ømega with Context-free Session Types
Diogo Poças
,
Diana Costa 0001
,
Andreia Mordido
,
Vasco T. Vasconcelos
.
ESOP 2023
:
392-420
[doi]
Safe Session-Based Concurrency with Shared Linear State
Pedro Rocha
,
Luís Caires
.
ESOP 2023
:
421-450
[doi]
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Todd Schmid
,
Tobias Kappé
,
Alexandra Silva 0001
.
ESOP 2023
:
309-336
[doi]
Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Thomas Wies
, editor,
Volume 13990 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Pragmatic Gradual Polymorphism with References
Wenjia Ye
,
Bruno C. D. S. Oliveira
.
ESOP 2023
:
140-167
[doi]
Quorum Tree Abstractions of Consensus Protocols
Berk Çirisci
,
Constantin Enea
,
Suha Orhun Mutluergil
.
ESOP 2023
:
337-362
[doi]
2022
Extracting total Amb programs from proofs
Ulrich Berger 0001
,
Hideki Tsuiki
.
ESOP 2022
:
85-113
[doi]
Probabilistic Total Store Ordering
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Raj Aryan Agarwal
,
Adwait Godbole
,
Shankara Narayanan Krishna
.
ESOP 2022
:
317-345
[doi]
Foundations for Entailment Checking in Quantitative Separation Logic
Kevin Batz
,
Ira Fesefeldt
,
Marvin Jansen
,
Joost-Pieter Katoen
,
Florian Keßler
,
Christoph Matheja
,
Thomas Noll 0001
.
ESOP 2022
:
57-84
[doi]
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
Thomas Bauereiss
,
Brian Campbell 0001
,
Thomas Sewell
,
Alasdair Armstrong
,
Lawrence Esswood
,
Ian Stark
,
Graeme Barnes
,
Robert N. M. Watson
,
Peter Sewell
.
ESOP 2022
:
174-203
[doi]
View-Based Owicki-Gries Reasoning for Persistent x86-TSO
Eleni Vafeiadi Bila
,
Brijesh Dongol
,
Ori Lahav
,
Azalea Raad
,
John Wickerson
.
ESOP 2022
:
234-261
[doi]
A Dependent Dependency Calculus
Pritam Choudhury
,
Harley Eades III
,
Stephanie Weirich
.
ESOP 2022
:
403-430
[doi]
Categorical Foundations of Gradient-Based Learning
Geoffrey S. H. Cruttwell
,
Bruno Gavranovic
,
Neil Ghani
,
Paul W. Wilson 0002
,
Fabio Zanasi
.
ESOP 2022
:
1-28
[doi]
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming
Sung-Shik Jongmans
,
Petra van den Bos
.
ESOP 2022
:
520-547
[doi]
Abstraction for Crash-Resilient Objects
Artem Khyzha
,
Ori Lahav
.
ESOP 2022
:
262-289
[doi]
Polarized Subtyping
Zeeshan Lakhani
,
Ankush Das
,
Henry DeYoung
,
Andreia Mordido
,
Frank Pfenning
.
ESOP 2022
:
431-461
[doi]
Why3-do: The Way of Harmonious Distributed System Proofs
Cláudio Belo Lourenço
,
Jorge Sousa Pinto
.
ESOP 2022
:
114-142
[doi]
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
Daniel Lundén
,
Joey Öhman
,
Jan Kudlicka
,
Viktor Senderov
,
Fredrik Ronquist
,
David Broman
.
ESOP 2022
:
29-56
[doi]
Linearity and Uniqueness: An Entente Cordiale
Daniel Marshall
,
Michael Vollmer 0004
,
Dominic Orchard
.
ESOP 2022
:
346-375
[doi]
The Trusted Computing Base of the CompCert Verified Compiler
David Monniaux
,
Sylvain Boulmé
.
ESOP 2022
:
204-233
[doi]
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style
Philipp Schuster
,
Jonathan Immanuel Brachthäuser
,
Klaus Ostermann
.
ESOP 2022
:
492-519
[doi]
Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Ilya Sergey
, editor,
Volume 13240 of
Lecture Notes in Computer Science
, Springer,
2022.
[doi]
Relaxed virtual memory in Armv8-A
Ben Simner
,
Alasdair Armstrong
,
Jean Pichon-Pharabod
,
Christopher Pulte
,
Richard Grisenthwaite
,
Peter Sewell
.
ESOP 2022
:
143-173
[doi]
Static Race Detection for Periodic Programs
Varsha P. Suresh
,
Rekha R. Pai
,
Deepak D'Souza
,
Meenakshi D'Souza
,
Sujit Kumar Chakrabarti
.
ESOP 2022
:
290-316
[doi]
Comparing the expressiveness of the π-calculus and CCS
Rob van Glabbeek
.
ESOP 2022
:
548-574
[doi]
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks
Jana Wagemaker
,
Nate Foster
,
Tobias Kappé
,
Dexter Kozen
,
Jurriaan Rot
,
Alexandra Silva 0001
.
ESOP 2022
:
575-602
[doi]
A Framework for Substructural Type Systems
James Wood
,
Robert Atkey
.
ESOP 2022
:
376-402
[doi]
Structured Handling of Scoped Effects
Zhixuan Yang
,
Marco Paviotti
,
Nicolas Wu
,
Birthe van den Berg
,
Tom Schrijvers
.
ESOP 2022
:
462-491
[doi]
2021
The Decidability of Verification under PS 2.0
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Adwait Godbole
,
Shankara Narayanan Krishna
,
Viktor Vafeiadis
.
ESOP 2021
:
1-29
[doi]
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains
Snigdha Athaiya
,
Raghavan Komondoor
,
K. Narayan Kumar
.
ESOP 2021
:
30-58
[doi]
Types for Complexity of Parallel Computation in Pi-Calculus
Patrick Baillot
,
Alexis Ghyselen
.
ESOP 2021
:
59-86
[doi]
Checking Robustness Between Weak Transactional Consistency Models
Sidi Mohamed Beillahi
,
Ahmed Bouajjani
,
Constantin Enea
.
ESOP 2021
:
87-117
[doi]
Verified Software Units
Lennart Beringer
.
ESOP 2021
:
118-147
[doi]
An Automated Deductive Verification Framework for Circuit-building Quantum Programs
Christophe Chareton
,
Sébastien Bardin
,
François Bobot
,
Valentin Perrelle
,
Benoît Valiron
.
ESOP 2021
:
148-177
[doi]
Nested Session Types
Ankush Das
,
Henry DeYoung
,
Andreia Mordido
,
Frank Pfenning
.
ESOP 2021
:
178-206
[doi]
Coupled Relational Symbolic Execution for Differential Privacy
Gian Pietro Farina
,
Stephen Chong
,
Marco Gaboardi
.
ESOP 2021
:
207-233
[doi]
Graded Hoare Logic and its Categorical Semantics
Marco Gaboardi
,
Shin-ya Katsumata
,
Dominic Orchard
,
Tetsuya Sato
.
ESOP 2021
:
234-263
[doi]
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing
Harrison Goldstein
,
John Hughes
,
Leonidas Lampropoulos
,
Benjamin C. Pierce
.
ESOP 2021
:
264-291
[doi]
For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM
Maximilian P. L. Haslbeck
,
Peter Lammich
.
ESOP 2021
:
292-319
[doi]
Run-time Complexity Bounds Using Squeezers
Oren Ish-Shalom
,
Shachar Itzhaky
,
Noam Rinetzky
,
Sharon Shoham
.
ESOP 2021
:
320-347
[doi]
Temporal Refinements for Guarded Recursive Types
Guilhem Jaber
,
Colin Riba
.
ESOP 2021
:
548-578
[doi]
Complete trace models of state and control
Guilhem Jaber
,
Andrzej S. Murawski
.
ESOP 2021
:
348-374
[doi]
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Alex C. Keizer
,
Henning Basold
,
Jorge A. Pérez 0001
.
ESOP 2021
:
375-403
[doi]
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
Daniel Lundén
,
Johannes Borgström
,
David Broman
.
ESOP 2021
:
404-431
[doi]
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
Carol Mak
,
C.-H. Luke Ong
,
Hugo Paquet
,
Dominik Wagner
.
ESOP 2021
:
432-461
[doi]
Graded Modal Dependent Type Theory
Benjamin Moon
,
Harley Eades III
,
Dominic Orchard
.
ESOP 2021
:
462-490
[doi]
Automated Termination Analysis of Polynomial Probabilistic Programs
Marcel Moosbrugger
,
Ezio Bartocci
,
Joost-Pieter Katoen
,
Laura Kovács
.
ESOP 2021
:
491-518
[doi]
Strong-Separation Logic
Jens Pagel
,
Florian Zuleger
.
ESOP 2021
:
664-692
[doi]
Bayesian strategies: probabilistic programs as generalised graphical models
Hugo Paquet
.
ESOP 2021
:
519-547
[doi]
Query Lifting - Language-integrated query for heterogeneous nested collections
Wilmer Ricciotti
,
James Cheney
.
ESOP 2021
:
579-606
[doi]
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
Matthijs Vákár
.
ESOP 2021
:
607-634
[doi]
Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Nobuko Yoshida
, editor,
Volume 12648 of
Lecture Notes in Computer Science
, Springer,
2021.
[doi]
Sound and Complete Concolic Testing for Higher-order Functions
Shu-Hung You
,
Robert Bruce Findler
,
Christos Dimoulas
.
ESOP 2021
:
635-663
[doi]
Sign in
or
sign up
to see more results.