default search action

combined dblp search
author search
venue search
publication search

ask others

34th ESOP@ETAPS 2025: Hamilton, ON, Canada - Part I

> Home > Conferences and Workshops > ESOP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/esop/2025-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/2025-1
Viktor Vafeiadis:
Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I. Lecture Notes in Computer Science 15694, Springer 2025, ISBN 978-3-031-91117-0
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Accattoli25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Accattoli25
Beniamino Accattoli:
The Vanilla Sequent Calculus is Call-by-Value. 1-22
- view
  authority control:
- export record
  dblp key:
  - conf/esop/AcclavioMM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/AcclavioMM25
Matteo Acclavio, Giulia Manara, Fabrizio Montesi:
Formulas as Processes, Deadlock-Freedom as Choreographies. 23-55
- view
  authority control:
- export record
  dblp key:
  - conf/esop/AmbalLR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/AmbalLR25
Guillaume Ambal, Ori Lahav, Azalea Raad:
Sufficient Conditions for Robustness of RDMA Programs. 56-87
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BernardiCLS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BernardiCLS25
Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco:
Constructive characterisations of the MUST-preorder for asynchrony. 88-116
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BoillotF25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BoillotF25
Jérôme Boillot, Jérôme Feret:
Abstraction of memory block manipulations by symbolic loop folding. 117-143
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BondDNOP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BondDNOP25
Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera:
Cognacy Queries over Dependence Graphs for Transparent Visualisations. 144-171
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BorthelleHJZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BorthelleHJZ25
Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski:
An abstract, certified account of operational game semantics. 172-199
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BorthelleHJZ25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BorthelleHJZ25a
Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski:
Artifact Report: an Abstract, Certified Account of Operational Game Semantics. 200-205
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/CordeiroDGIJKKLMSW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CordeiroDGIJKKLMSW25
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu:
Neural Network Verification is a Programming Language Challenge. 206-235
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/ChanW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ChanW25
Jonathan Chan, Stephanie Weirich:
Stratified Type Theory. 236-263
- view
  authority control:
- export record
  dblp key:
  - conf/esop/EremondiK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/EremondiK25
Joseph Eremondi, Ohad Kammar:
Coverage Semantics for Dependent Pattern Matching. 264-291
- view
  authority control:
- export record
  dblp key:
  - conf/esop/EhrhardFP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/EhrhardFP25
Thomas Ehrhard, Claudia Faggian, Michele Pagani:
Variable Elimination as Rewriting in a Linear Lambda Calculus. 292-321
- view
  authority control:
- export record
  dblp key:
  - conf/esop/FanLFJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/FanLFJ25
Weijie Fan, Hongjin Liang, Xinyu Feng, Hanru Jiang:
A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model. 322-348
- view
  authority control:
- export record
  dblp key:
  - conf/esop/GiuntiY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GiuntiY25
Marco Giunti, Nobuko Yoshida:
Iso-Recursive Multiparty Sessions and their Automated Verification. 349-378
- view
  authority control:
- export record
  dblp key:
  - conf/esop/LinLF25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LinLF25
Rongen Lin, Hongjin Liang, Xinyu Feng:
Verifying Algorithmic Versions of the Lovász Local Lemma. 379-407
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/YeTGOT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/YeTGOT25
Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter:
Elucidating Type Conversions in SQL Engines. 408-435

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.