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 

 

The Cornell, Maryland, Max Planck Pre-doctoral Research School 2026
https://cmmrs.mpi-sws.org

August 3–7, 2026
Saarbruecken, Germany

Applications are requested from undergraduate students or Master’s students in computer and information science, computer engineering, or a related discipline to the 10th annual Cornell, Maryland, Max Planck Pre-doctoral Research School.

The small, select group of attendees will be exposed to state-of-the-art research in computer science, have the opportunity to interact one-on-one with internationally leading scientists from three of the foremost academic institutions in research and higher learning in the US and in Europe, and network with like-minded students. They will get a sense of what it is like to pursue an academic or an industrial research career in computer science and have a head start when applying for graduate school.

For full consideration, applications should be received by February 14, 2026 AOE. Travel and accommodation will be covered for accepted students. Further information about the school and how to apply can be found at https://cmmrs.mpi-sws.org