Aarhus University Seal

Paper succes at POPL'24

Once again, researchers from Logic & Semantics and Programming Languages have a remarkably high number of papers accepted at the top conference POPL’24. 9 out of the 94 accepted papers are authored by researchers from the department! Great work!

POPL 2024 will take place in the Institution of Engineering and Technology (IET), Savoy Place, London from January 17-19. The annual Symposium on Principles of Programming Languages (POPL) is a forum for the discussion of all aspects of programming languages and programming systems. POPL is the flagship conference within the area and is organized by the ACM (the Association for Computing Machinery).

The accepted papers are

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
Amin Timany, Simon Gregersen, Leo Stefanesco, Jonas Hinrichsen, Leon Gondelman, Abel Nieto, Lars Birkedal

Modular Denotational Semantics for Effects with Guarded Interaction Trees
Dan Frumin, Amin Timany, Lars Birkedal

The Logical Essence of Well-Bracketed Control Flow
Amin Timany, Armael Geauneau, Lars Birkedal 

An axiomatic basis for computer programming on the relaxed Arm-A architecture
Angus Hammond, Zongyuan Liu, Thibaut Pérami, Peter Sewell, Lars Birkedal, Jean Pichon-Pharabod

The Essence of Generalized Algebraic Data Types
Filip Sieczkowski, Sergei Stepanenko, Jonathan Sterling, Lars Birkedal

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Simon Gregersen, Alejandro Aguirre, Philipp Haselwarter, Joseph Tassarotti, Lars Birkedal

Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing
Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers

How Hard is Weak-Memory Testing?
Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur and Andreas Pavlogiannis

On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis and Omkar Tuppe