25. Januar 2026
MAX-PLANCK-FORSCHENDE VERÖFFENTLICHEN 5 PAPER AUF DER POPL 2026!
Forschende des Max-Planck-Instituts für Softwaresysteme (MPI-SWS) haben insgesamt fünf Paper verfasst, die für die POPL 2026 angenommen wurden. Dies ist das neunte Jahr in Folge, in dem Forschende des MPI-SWS fünf oder mehr Paper auf der POPL veröffentlichen.
Herzlichen Glückwunsch an alle unsere POPL-Autor:innen!
-
- 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
- A Verified High-Performance Composable Object Library for Remote Direct Memory Access
-
- Bounded Treewidth, Multiple Context-Free Grammars, and Downward ClosuresRemote
C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
- Bounded Treewidth, Multiple Context-Free Grammars, and Downward ClosuresRemote
-
- 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
- Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation
-
- General Decidability Results for Systems with Continuous Counters
A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
- General Decidability Results for Systems with Continuous Counters
-
- Verifying Almost-Sure Termination for Randomized Distributed Algorithms
Constantin Enea, Rupak Majumdar, Harshit Jitendra Motwani, V.R. Sathiyanarayana
- Verifying Almost-Sure Termination for Randomized Distributed Algorithms