default search action

combined dblp search
author search
venue search
publication search

ask others

33rd ESOP@ETAPS 2024: Luxembourg City, Luxembourg - Part II

> Home > Conferences and Workshops > ESOP
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/2024-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/2024-2
Stephanie Weirich:
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. Lecture Notes in Computer Science 14577, Springer 2024, ISBN 978-3-031-57266-1

Quantum Programming/Domain-Specific Languages

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/ColledanL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ColledanL24
Andrea Colledan, Ugo Dal Lago:
Circuit Width Estimation via Effect Typing and Linear Dependency. 3-30
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/AvanziniMPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/AvanziniMPP24
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix:
On the Hardness of Analyzing Quantum Programs Quantitatively. 31-58
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/ThuneMW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ThuneMW24
Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang:
Reconciling Partial and Local Invertibility. 59-89
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/FujinamiH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/FujinamiH24
Hiroya Fujinami, Ichiro Hasuo:
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. 90-118

Verification

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/DvirKL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/DvirKL24
Yotam Dvir, Ohad Kammar, Ori Lahav:
A Denotational Approach to Release/Acquire Concurrency. 121-149
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/RaadLWBD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/RaadLWBD24
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol:
Intel PMDK Transactions: Specification, Validation and Concurrency. 150-179
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/RaadLWBD24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/RaadLWBD24a
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol:
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. 180-184
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/StefanescoRV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/StefanescoRV24
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis:
Specifying and Verifying Persistent Libraries. 185-211
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/ItzhakySV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ItzhakySV24
Shachar Itzhaky, Sharon Shoham, Yakir Vizel:
Hyperproperty Verification as CHC Satisfiability. 212-241

Program Analysis

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/PrabhuFD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/PrabhuFD24
Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza:
Maximal Quantified Precondition Synthesis for Linear Array Loops. 245-274
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/KanabarKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KanabarKM24
Hrutvik Kanabar, Kacper Korban, Magnus O. Myreen:
Verified Inlining and Specialisation for PureCake. 275-301
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LundenHKEB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LundenHKEB24
Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman:
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. 302-330
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/GuoK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GuoK24
Liye Guo, Cynthia Kop:
Higher-Order LCTRSs and Their Termination. 331-357

Abstract Interpretation

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/KeidelHRM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KeidelHRM24
Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini:
A Modular Soundness Theory for the Blackboard Analysis Architecture. 361-390
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LermusiauxM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LermusiauxM24
Pierre Lermusiaux, Benoît Montagu:
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. 391-420
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/MonatFM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/MonatFM24
Raphaël Monat, Aymeric Fromherz, Denis Merigoux:
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. 421-450

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.