Simurgh: a fully decentralized and secure NVMM user space file system. - Nafiseh Moti; Frederic Schimmelpfennig; Reza Salkhordeh; David Klopp; Toni Cortes; Ulrich Rückert 001; André Brinkmann (SC, 2021)

Separate Compilation and Partial Linking: Modules for Datalog IR. - David Klopp; André Pacak; Sebastian Erdweg (GPCE, 2024)

Object-Oriented Fixpoint Programming with Datalog. - David Klopp; Sebastian Erdweg; André Pacak (Proc. ACM Program. Lang., 2024)

A Typed Multi-level Datalog IR and Its Compiler Framework. - David Klopp; Sebastian Erdweg; André Pacak (Proc. ACM Program. Lang., 2024)

Mono Types - First-Class Containers for Datalog. - Runqing Xu; David Klopp; Sebastian Erdweg (ECOOP, 2025)

Mono Types - First-Class Containers for Datalog. - Runqing Xu; David Klopp; Sebastian Erdweg (DROPS Artifacts, 2025)