David Klopp

According to our database, David Klopp authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Mono Types - First-Class Containers for Datalog.

Runqing Xu, David Klopp, Sebastian Erdweg

Dataset, June, 2025

Mono Types - First-Class Containers for Datalog.

Runqing Xu, David Klopp, Sebastian Erdweg

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

A Typed Multi-level Datalog IR and Its Compiler Framework.

David Klopp, Sebastian Erdweg, André Pacak

Proc. ACM Program. Lang., 2024

Object-Oriented Fixpoint Programming with Datalog.

David Klopp, Sebastian Erdweg, André Pacak

Proc. ACM Program. Lang., 2024

Separate Compilation and Partial Linking: Modules for Datalog IR.

David Klopp, André Pacak, Sebastian Erdweg

Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2024

2021

Simurgh: a fully decentralized and secure NVMM user space file system.

Nafiseh Moti, Frederic Schimmelpfennig, Reza Salkhordeh, David Klopp, Toni Cortes, Ulrich Rückert, André Brinkmann

Proceedings of the International Conference for High Performance Computing, 2021