7 citations · 18 across the 5 of their papers we have counts for
5 papers
PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types
Julian Haas, Ragnar Mogk, Annette Bieniusa +1
Consensus protocols are fundamental in distributed systems as they enable services with strong consistency properties. However, designing protocols optimized for specific use-cases…
Distributed Locking as a Data Type
Julian Haas, Ragnar Mogk, Annette Bieniusa +1
Mixed-consistency programming models assist programmers in designing applications that provide high availability while still ensuring application-specific safety invariants. Howeve…
LoRe: A Programming Model for Verifiably Safe Local-First Software
Julian Haas, Ragnar Mogk, Elena Yanakieva +2
Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such softwa…
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Artur Sterz, Matthias Eichholz, Ragnar Mogk +5
Network programmability will be required to handle future increased network traffic and constantly changing application needs. However, there is currently no way of using a high-le…
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City
Lars Baumgärtner, Jonas Höchst, Patrick Lampe +5
Currently, nearly four billion people live in urban areas. Since this trend is increasing, natural disasters or terrorist attacks in such areas affect an increasing number of peopl…