MAX PLANCK RESEARCHERS PUBLISH 5 PAPERS AT POPL 2026!

Researchers from the Max Planck Institute for Software Systems (MPI-SWS) have authored a total of 5 papers accepted to POPL 2026.  This is the ninth year in a row that MPI-SWS researchers have published 5+ papers in POPL.

Congratulations to all our POPL authors!

• • A Verified High-Performance Composable Object Library for Remote Direct Memory Access
    Guillaume Ambal , George Hodgkins, Mark Madler, Gregory Chockler, Brijesh Dongol, Joe Izraelevitz, Azalea Raad, Viktor Vafeiadis

• • Bounded Treewidth, Multiple Context-Free Grammars, and Downward ClosuresRemote
    C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche

• • Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation
    Niklas Mück, Aina Linn Georges,Derek Dreyer, Deepak Garg, Michael Sammler

• • General Decidability Results for Systems with Continuous Counters
    A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

• • Verifying Almost-Sure Termination for Randomized Distributed Algorithms
    Constantin Enea, Rupak Majumdar, Harshit Jitendra Motwani, V.R. Sathiyanarayana