Further Unifying the Landscape of Cell Probe Lower Bounds. - Kasper Green Larsen; Jonathan Lindegaard Starup; Jesper Steensgaard (SOSA, 2021)

Flix: A Meta Programming Language for Datalog. - Magnus Madsen; Jonathan Lindegaard Starup; Ondrej Lhoták (Datalog, 2022)

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. - Magnus Madsen; Jonathan Lindegaard Starup; Matthew Lutze (ECOOP, 2023)

Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. - Jonathan Lindegaard Starup; Magnus Madsen; Ondrej Lhoták (ECOOP, 2023)

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact). - Magnus Madsen; Jonathan Lindegaard Starup; Matthew Lutze (Dagstuhl Artifacts Ser., 2023)

From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. - Marius Müller 003; Philipp Schuster; Jonathan Lindegaard Starup; Klaus Ostermann; Jonathan Immanuel Brachthäuser (Proc. ACM Program. Lang., 2023)