AB
Annette Bieniusa
cs.DCcs.PLcs.DBcs.DScs.LOcs.DMcs.HCcs.SE
On Valency
published · living versionsW_5r79v3e4·v1 · currentpublished
Preprints & journals
22 papers in the corpus · 2012–2026A Datalog Framework for Conflict-Free Replicated Data Types2605.31569v2 · Elena Yanakieva, Annette Bieniusa, Stefania Dumbrava2026 · 0 citationsarXiv
CobbleDB: Modelling Levelled Storage by Composition2604.06273v2 · Emilie Ma (UBC), Ayush Pandey (TSP), Annette Bieniusa (RPTU) et al.2026 · 0 citationsWorkshop on Principles and Practice of Consistency for Distributed Data, Apr 2026, Edinburgh, United Kingdom
KI-Adventskalender: An Informal Learning Intervention for Data & AI Literacy2603.26906v2 · Rahul Sharma, Lars Henrich, Larisa Ivanova et al.2026 · 0 citationsarXiv
Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation2603.22032v1 · Albert Schimpf, Stefan Wehr, Annette Bieniusa2026 · 2 citationsarXiv
Semantic Subtyping for Maps in Erlang2508.00482v1 · Erdem Yildirim, Albert Schimpf, Stefan Wehr et al.2025 · 0 citationsarXiv
PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types2504.05173v3 · Julian Haas, Ragnar Mogk, Annette Bieniusa et al.2025 · 1 citationarXiv
A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday2412.01856v1 · Annette Bieniusa, Markus Degen, Stefan Wehr2024 · 1 citationEPTCS 413, 2024
Distributed Locking as a Data Type2405.15578v1 · Julian Haas, Ragnar Mogk, Annette Bieniusa et al.2024 · 0 citationsarXiv
Models for Storage in Database Backends2403.11716v1 · Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa et al.2024 · 0 citationsarXiv
LoRe: A Programming Model for Verifiably Safe Local-First Software2304.07133v2 · Julian Haas, Ragnar Mogk, Elena Yanakieva et al.2023 · 7 citationsACM Trans. Program. Lang. Syst. 46, 1, Article 2 (March 2024), 26 pages
Set-theoretic Types for Erlang2302.12783v2 · Albert Schimpf, Stefan Wehr, Annette Bieniusa2023 · 12 citationsIFL 2022: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages Article No.: 4, Pages 1 - 1
Antidote SQL: Relaxed When Possible, Strict When Necessary1902.03576v1 · Pedro Lopes, Joao Sousa, Valter Balegas et al.2019 · 4 citationsarXiv
Ensuring referential integrity under causal consistency1803.03482v1 · Marc Shapiro (Regal, DELYS), Annette Bieniusa et al.2018 · 1 citationPaPoC 2018 - 5th W. on Principles and Practice of Consistency for Distributed Data, Apr 2016, Porto, Portugal
ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases1801.07005v1 · Mathias Weber, Annette Bieniusa2018 · 1 citationarXiv
Just-Right Consistency: reconciling availability and safety1801.06340v1 · Marc Shapiro, Annette Bieniusa, Nuno Preguica et al.2018 · 5 citationsarXiv
Techreport: Time-sensitive probabilistic inference for the edge1710.11057v2 · Christian Weilbach, Annette Bieniusa2017 · 0 citationsarXiv
Global-Local View: Scalable Consistency for Concurrent Data Types1705.03704v1 · Deepthi Devaki Akkoorath, Jos'e Brandao, Annette Bieniusa et al.2017 · 5 citationsarXiv
EPTL - A temporal logic for weakly consistent systems1704.05320v1 · Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter2017 · 1 citationarXiv
Eventually Consistent Register Revisited1511.05010v1 · Marek Zawirski, Carlos Baquero, Annette Bieniusa et al.2015 · 0 citationsarXiv
Decoupling conflicts for configurable resolution in an open replication system1508.05545v2 · Christian Weilbach, Konrad Kuhne, Annette Bieniusa2015 · 1 citationarXiv
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine1310.3107v1 · Marek Zawirski, Annette Bieniusa, Valter Balegas (CITI) et al.2013 · 51 citationsN° RR-8347 (2013)
An optimized conflict-free replicated set1210.3368v1 · Annette Bieniusa, Marek Zawirski, Nuno Preguica (CITI) et al.2012 · 34 citationsarXiv
Career total: 96 works. 22 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.