@inproceedings{namakonov-2026-verifying,
  doi = {10.4230/LIPICS.ECOOP.2026.20},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2026.20},
  author = {Namakonov, Egor and Birkedal, Lars and Timany, Amin},
  keywords = {separation logic, higher-order logic, concurrency, formal verification, Software and its engineering → Formal software verification, Theory of computation → Logic and verification, Theory of computation → Concurrency},
  language = {en},
  title = {Verifying Wait-Freedom for Concurrent Higher-Order Programs},
  volume = {372},
  pages = {20:1-20:29},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2026},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {40th European Conference on Object-Oriented Programming (ECOOP 2026)}
}