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!
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,
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!
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