I work on declarative programming languages for coordination-free decentralized applications.

https://www.rescala-lang.com/

Publications

2025

Think locally, act globally: A programming model for decentralized applications.
Haas, Kuessner, Mogk, Mezini, INTERNET (4). 10.1109/mic.2025.3618947

2024

LoRe: A programming model for verifiably safe local-first software.
Haas, Mogk, Yanakieva, Bieniusa, Mezini, TOPLAS (1). 10.1145/3633769

2023

LoRe: A programming model for verifiably safe local-first software (artifact).
Haas, Mogk, Yanakieva, Bieniusa, Mezini, DARTS (2). 10.4230/darts.9.2.11

Algebraic replicated data types: Programming secure local-first software (artifact).
Kuessner, Mogk, Wickert, Mezini, DARTS (2). 10.4230/darts.9.2.26

LoRe: A programming model for verifiably safe local-first software (extended abstract).
Haas, Mogk, Yanakieva, Bieniusa, Mezini, ECOOP. 10.4230/lipics.ecoop.2023.12

Algebraic replicated data types: Programming secure local-first software.
Kuessner, Mogk, Wickert, Mezini, ECOOP. 10.4230/lipics.ecoop.2023.14

2021

ReactiFi: Reactive programming of wi-fi firmware on mobile devices.
Sterz, Eichholz, Mogk, Baumgärtner, Graubner, Hollick, Mezini, Freisleben, PROGRAMMING (2). 10.22152/programming-journal.org/2021/5/4

2019

A fault-tolerant programming model for distributed interactive applications.
Mogk, Drechsler, Salvaneschi, Mezini, PACMPL (OOPSLA). 10.1145/3360570

Smart street lights and mobile citizen apps for resilient communication in a digital city.
Baumgärtner, Höchst, Lampe, Mogk, Sterz, Weisenburger, Mezini, Freisleben, GHTC. 10.1109/ghtc46095.2019.9033134

2018

Thread-safe reactive programming.
Drechsler, Mogk, Salvaneschi, Mezini, PACMPL (OOPSLA). 10.1145/3276477

Fault-tolerant distributed reactive programming.
Mogk, Baumgärtner, Salvaneschi, Freisleben, Mezini, ECOOP. 10.4230/lipics.ecoop.2018.1

Reactive programming experience with REScala.
Mogk, Salvaneschi, Mezini, PROGRAMMING. 10.1145/3191697.3214337

2017

DTN-RPC: Remote procedure calls for disruption-tolerant networking.
Sterz, Baumgärtner, Mogk, Mezini, Freisleben, NETWORKING. 10.23919/ifipnetworking.2017.8264848

2014

Distributed REScala: An update algorithm for distributed reactive programming.
Drechsler, Salvaneschi, Mogk, Mezini, OOPSLA. 10.1145/2660193.2660240