Julian Haas

Orcid: 0000-0001-9959-5099

According to our database¹, Julian Haas authored at least 5 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

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

[BibT_eX]

[DOI]

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

2023

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

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2023

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

[BibT_eX]

[DOI]

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

2022

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Julian Haas

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

Julian Haas

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...