default search action

combined dblp search
author search
venue search
publication search

ask others

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

> 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-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/2025-2
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 II. Lecture Notes in Computer Science 15695, Springer 2025, ISBN 978-3-031-91120-0
- view
  authority control:
- export record
  dblp key:
  - conf/esop/GoharshadyHN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GoharshadyHN25
Amir Kafshdar Goharshady, S. Hitarth, Sergei Novozhilov:
Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences. 1-30
- view
  authority control:
- export record
  dblp key:
  - conf/esop/GoutagnyFM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GoutagnyFM25
Pierre Goutagny, Aymeric Fromherz, Raphaël Monat:
CUTECat: Concolic Execution for Computational Law. 31-61
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Jongmans25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Jongmans25
Sung-Shik Jongmans:
First-Person Choreographic Programming with Continuation-Passing Communications. 62-90
- view
  authority control:
- export record
  dblp key:
  - conf/esop/SpinaDB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SpinaDB25
Roméo La Spina, Delphine Demange, Sandrine Blazy:
Formal Verification of WTO-based Dataflow Solvers. 91-118
- view
  authority control:
- export record
  dblp key:
  - conf/esop/SpinaDB25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SpinaDB25a
Roméo La Spina, Delphine Demange, Sandrine Blazy:
Formal Verification of WTO-based Dataflow Solvers - Artifact Experience Report. 119-124
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BrunFD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BrunFD25
Matthew Alan Le Brun, Simon Fowler, Ornela Dardha:
Multiparty Session Types with a Bang! 125-153
- view
  authority control:
- export record
  dblp key:
  - conf/esop/MilovancevicBWCK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/MilovancevicBWCK25
Dragana Milovancevic, Mario Bucev, Marcin Wojnarowski, Samuel Chassot, Viktor Kuncak:
Formal Autograding in a Classroom. 154-174
- view
  authority control:
- export record
  dblp key:
  - conf/esop/PaskevichPF25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/PaskevichPF25
Andrei Paskevich, Paul Patault, Jean-Christophe Filliâtre:
coma, an Intermediate Verification Language with Explicit Abstraction Barriers. 175-201
- view
  authority control:
- export record
  dblp key:
  - conf/esop/PiedeleuTSZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/PiedeleuTSZ25
Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi:
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. 202-229
- view
  authority control:
- export record
  dblp key:
  - conf/esop/SextlRVZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SextlRVZ25
Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. 230-257
- view
  authority control:
- export record
  dblp key:
  - conf/esop/SkalkaN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SkalkaN25
Christian Skalka, Joseph P. Near:
SMT-Boosted Security Types for Low-Level MPC. 258-285
- view
  authority control:
- export record
  dblp key:
  - conf/esop/StepanenkoNFTB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/StepanenkoNFTB25
Sergei Stepanenko, Emma Nardino, Dan Frumin, Amin Timany, Lars Birkedal:
Context-Dependent Effects in Guarded Interaction Trees. 286-313
- view
  authority control:
- export record
  dblp key:
  - conf/esop/StutzD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/StutzD25
Felix Stutz, Emanuele D'Osualdo:
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols. 314-346
- view
  authority control:
- export record
  dblp key:
  - conf/esop/SunO25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SunO25
Yaozhu Sun, Bruno C. d. S. Oliveira:
Named Arguments as Intersections, Optional Arguments as Unions. 347-373
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/WhitingG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WhitingG25
Tim Whiting, Kimball Germane:
Context-Sensitive Demand-Driven Control-Flow Analysis. 374-401
- view
  authority control:
- export record
  dblp key:
  - conf/esop/YamadaKSS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/YamadaKSS25
Risa Yamada, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato:
On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic. 402-428

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.