Julian Haas

According to our database, Julian Haas authored at least 9 papers between 2022 and 2026.

Collaborative distances:

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

2026

AegisSheet: A Compositional CRDT for Collaborative Spreadsheets.

Florian Pfeil, David Scandurra, Julian Haas

Proceedings of the 13th International Workshop on Principles and Practice of Consistency for Distributed Data, 2026

2025

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types.

Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini

CoRR, April, 2025

Think Locally, Act Globally: A Programming Model for Decentralized Applications.

Julian Haas, Christian Kuessner, Ragnar Mogk, Mira Mezini

IEEE Internet Comput., 2025

2024

LoRe: A Programming Model for Verifiably Safe Local-first Software.

Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini

ACM Trans. Program. Lang. Syst., March, 2024

Distributed Locking as a Data Type.

Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini

CoRR, 2024

2023

LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact).

Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini

Dagstuhl Artifacts Ser., 2023

LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract).

Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

LoRe: Local-First Reactive Programming with Verified Safety Guarantees.

Julian Haas

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud.

Julian Haas

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022