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).
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
