Julian Haas

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Extended Abstract

Abstract Data Types

Reactive Planning

Theoretical Analysis

Top Venues

SPLASH Companion

Dagstuhl Artifacts Ser.

Publications

Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-first Software. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini
Distributed Locking as a Data Type. CoRR (2024)
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-First Software. CoRR (2023)
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). ECOOP (2023)
Julian Haas
LoRe: Local-First Reactive Programming with Verified Safety Guarantees. SPLASH Companion (2022)
Julian Haas
Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud. SPLASH Companion (2022)