LocationSimulator
MacOS application to spoof / fake / mock your iOS / iPadOS or iPhoneSimulator device location. WatchOS and TvOS are partially supported.
Posts by Collection
portfolio
SuggestionPopup
A simple AppKit suggestion / autocompletion popup for macOS.
shairport-metadatareader-python
A shairport-metadata-reader package written in Python, which supports reading the metadata from the pipe file, the UDP-server and the MQTT server if configured.
Mensa
watchOS / iOS / iPadOS / macOS app for the food menu of the Johannes-Gutenberg-University (JGU) Mainz.
Cookbook-Client (unmaintained)
iOS/macOS/iPadOS application to view your cookbook recipes from nextcloud.
iOS Tweaks (unmaintained)
Old iOS NotificationCenter and ControlCenter tweaks I wrote for iOS 7 - 9.
publications
Simurgh: a fully decentralized and secure NVMM user space file system
Published in SC21, 2021
This paper introduces Simurgh, a hardware-assisted user space file system with decentralized metadata management that allows secure metadata updates from within user space.
Recommended citation: Nafiseh Moti, Frederic Schimmelpfennig, Reza Salkhordeh, David Klopp, Toni Cortes, Ulrich Rückert, André Brinkmann. (2021). "Simurgh: a fully decentralized and secure NVMM user space file system." SC21 . https://dl.acm.org/doi/abs/10.1145/3458817.3476180
Object-Oriented Fixpoint Programming with Datalog
Published in OOSPLA, 2024
Modern usages of Datalog exceed its original design purpose in scale and complexity. In particular, Datalog lacks abstractions for code organization and reuse, making programs hard to maintain. Is it possible to exploit abstractions and design patterns from object-oriented programming (OOP) while retaining a Datalog-like fixpoint semantics?
Recommended citation: David Klopp, Sebastian Erdweg, André Pacak. (2024). "Object-Oriented Fixpoint Programming with Datalog." OOSPLA (2024) . https://dl.acm.org/doi/abs/10.1145/3689713
A Typed Multi-level Datalog IR and Its Compiler Framework
Published in OOSPLA, 2024
This paper presents the first compiler framework for Datalog that can be used to support any Datalog frontend language and to target any Datalog backend. The centerpiece of our framework is a novel typed multi-level Datalog IR that supports IR extensions and guarantees executability.
Recommended citation: David Klopp, Sebastian Erdweg, André Pacak. (2024). "A Typed Multi-level Datalog IR and Its Compiler Framework." OOSPLA (2024) . https://dl.acm.org/doi/abs/10.1145/3689767
Separate Compilation and Partial Linking: Modules for Datalog IR
Published in GPCE, 2024
In this paper, we present the first module system for a Datalog IR. Our modules are statically typed, can be separately compiled, and partially linked to form “bundles”. Since IR modules are generated by a compiler frontend, we rely on explicit declarations of required and provided relations to maximize the decoupling between modules.
Recommended citation: David Klopp, André Pacak, Sebastian Erdweg. (2024). "Separate Compilation and Partial Linking: Modules for Datalog IR." GPCE (2024) . https://dl.acm.org/doi/10.1145/3689484.3690737
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.