Annette Bieniusa

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 52

Top Venues

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Gustavo Petri, Carla Ferreira, Marc Shapiro
Models for Storage in Database Backends. CoRR (2024)
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Carla Ferreira, Gustavo Petri, Marc Shapiro
Models for Storage in Database Backends. PaPoC@EuroSys (2024)
Marian Hristov, Annette Bieniusa
Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations. Erlang (2024)
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)
Florian Berger, Albert Schimpf, Annette Bieniusa, Stefan Wehr
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang. Erlang (2024)
Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini
Distributed Locking as a Data Type. CoRR (2024)
Albert Schimpf, Stefan Wehr, Annette Bieniusa
Set-theoretic Types for Erlang. CoRR (2023)
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)
Elena Yanakieva, Annette Bieniusa, Thomas Becka, Brian B. Moser, Dominik Jerger, Christoph Thyssen
Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills. ISSEP (2023)
Elena Yanakieva, Philipp Bird, Annette Bieniusa
A Study of Semantics for CRDT-based Collaborative Spreadsheets. PaPoC@EuroSys (2023)
Elena Yanakieva, Annette Bieniusa, Christoph Thyssen, Thomas Becka, Julia Albicker, Niklas Westermann, Barbara Pampel, Johannes Huwer
GeNIUS: Conditions for Successfully Teaching Computer Science Infused Natural Science Classes in Schools. ISSEP (Local Proceedings) (2023)
Albert Schimpf, Stefan Wehr, Annette Bieniusa
Set-theoretic Types for Erlang. IFL (2022)
Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa
Access Control Conflict Resolution in Distributed File Systems using CRDTs. PaPoC@EuroSys (2021)
Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
Combining state- and event-based semantics to verify highly available applications. Sci. Comput. Program. 210 (2021)
Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa
On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems. NETYS (2021)
Susanne Braun, Annette Bieniusa, Frank Elberzhager
Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems. PaPoC@EuroSys (2021)
Nithin Vadukkumchery Rajendrakumar, Annette Bieniusa
Bidirectional typing for Erlang. Erlang Workshop (2021)
Pascal Grosch, Roman Krafft, Marcel Wölki, Annette Bieniusa
AutoCouch: a JSON CRDT framework. PaPoC@EuroSys (2020)
Peter Zeller, Annette Bieniusa, Carla Ferreira
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. Erlang Workshop (2020)
Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
Combining State- and Event-Based Semantics to Verify Highly Available Programs. FACS (2019)
Pedro Lopes, João Sousa, Valter Balegas, Carla Ferreira, Sérgio Duarte, Annette Bieniusa, Rodrigo Rodrigues, Nuno M. Preguiça
Antidote SQL: Relaxed When Possible, Strict When Necessary. CoRR (2019)
Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri
Ensuring referential integrity under causal consistency. CoRR (2018)
Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
Global-Local View: Scalable Consistency for Concurrent Data Types. Euro-Par (2018)
Annette Bieniusa, Alexey Gotsman, Bettina Kemme, Marc Shapiro
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091). Dagstuhl Reports 8 (2) (2018)
Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri
Ensuring referential integrity under causal consistency. PaPoC@EuroSys (2018)
Marc Shapiro, Annette Bieniusa, Nuno M. Preguiça, Valter Balegas, Christopher Meiklejohn
Just-Right Consistency: reconciling availability and safety. CoRR (2018)
Mathias Weber, Annette Bieniusa
ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases. CoRR (2018)
Annette Bieniusa, Peter Zeller, Shraddha Barke
Collaborative Work Management with a Highly-Available Kanban Board. Principled Software Development (2018)
Albert van der Linde, Pedro Fouto, João Leitão, Nuno M. Preguiça, Santiago J. Castiñeira, Annette Bieniusa
Legion: Enriching Internet Services with Peer-to-Peer Interactions. WWW (2017)
Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
Global-Local View: Scalable Consistency for Concurrent Data Types. CoRR (2017)
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
Practical evaluation of the Lasp programming model at large scale: an experience report. PPDP (2017)
Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy, Erez Petrank
New Challenges in Parallelism (Dagstuhl Seminar 17451). Dagstuhl Reports 7 (11) (2017)
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
EPTL - A temporal logic for weakly consistent systems. CoRR (2017)
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). FORTE (2017)
Christian Weilbach, Annette Bieniusa
Techreport: Time-sensitive probabilistic inference for the edge. CoRR (2017)
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report. CoRR (2017)
Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, João Leitão, Nuno M. Preguiça
FMKe: a Real-World Benchmark for Key-Value Data Stores. PaPoC@EuroSys (2017)
Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
Multi-view data types for scalable concurrency in the multi-core era. PMLDC@ECOOP (2017)
Deepthi Devaki Akkoorath, Viktória Fördós, Annette Bieniusa
Observing the consistency of distributed systems. Erlang Workshop (2016)
Christian Weilbach, Konrad Kühne, Annette Bieniusa
Decoupling conflict resolution with CDVCS. PaPoC@EuroSys (2016)
Deepthi Devaki Akkoorath, Annette Bieniusa
Highly-scalable concurrent objects. PaPoC@EuroSys (2016)
Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro
Eventually consistent register revisited. PaPoC@EuroSys (2016)
Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro
Cure: Strong Semantics Meets High Availability and Low Latency. ICDCS (2016)
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
Access Control for Weakly Consistent Replicated Information Systems. STM (2016)
Marek Zawirski, Nuno M. Preguiça, Sérgio Duarte, Annette Bieniusa, Valter Balegas, Marc Shapiro
Write Fast, Read in the Past: Causal Consistency for Client-Side Applications. Middleware (2015)
Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro
Eventually Consistent Register Revisited. CoRR (2015)
Santiago J. Castiñeira, Annette Bieniusa
Collaborative offline web applications using conflict-free replicated data types. PaPoC@EuroSys (2015)
Christian Weilbach, Konrad Kühne, Annette Bieniusa
replikativ.io: Composable consistency primitives for a scalable and robust global replication system. CoRR (2015)
Deepthi Devaki Akkoorath, Annette Bieniusa
Transactions on Mergeable Objects. APLAS (2015)
Amadeo Ascó Signes, Annette Bieniusa
Adaptive strength geo-replication strategy. PaPoC@EuroSys (2015)
Nuno M. Preguiça, Marek Zawirski, Annette Bieniusa, Sérgio Duarte, Valter Balegas, Carlos Baquero, Marc Shapiro
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine. SRDS Workshops (2014)
Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
Formal Specification and Verification of CRDTs. FORTE (2014)
Marek Zawirski, Annette Bieniusa, Valter Balegas, Sérgio Duarte, Carlos Baquero, Marc Shapiro, Nuno M. Preguiça
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine. CoRR (2013)
Annette Bieniusa, Thomas Fuhrmann
Lifting the Barriers - Reducing Latencies with Transparent Transactional Memory. ICDCN (2012)
Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte
Brief Announcement: Semantics of Eventually Consistent Replicated Sets. DISC (2012)
Phillip Heidegger, Annette Bieniusa, Peter Thiemann
Access permission contracts for scripting languages. POPL (2012)
Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte
An optimized conflict-free replicated set CoRR (2012)
Annette Bieniusa, Peter Thiemann
Proving Isolation Properties for Software Transactional Memory. ESOP (2011)
Phillip Heidegger, Annette Bieniusa, Peter Thiemann
DOM Transactions for Testing JavaScript. TAIC PART (2010)
Annette Bieniusa, Johannes Eickhold, Thomas Fuhrmann
The architecture of the DecentVM: towards a decentralized virtual machine for many-core computing. VMIL@SPLASH (2010)
Annette Bieniusa, Thomas Fuhrmann
Consistency in hindsight: A fully decentralized STM algorithm. IPDPS (2010)
Annette Bieniusa, Arie Middelkoop, Peter Thiemann
Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. PODC (2010)
Annette Bieniusa, Peter Thiemann
How to CPS Transform a Monad. CC (2009)
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel
Htdp and dmda in the battlefield: a case study in first-year programming instruction. FDPE@ICFP (2008)
Annette Bieniusa, Peter Thiemann, Stefan Wehr
The Relation of Version Control to Concurrent Programming. CSSE (3) (2008)

Annette Bieniusa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Annette Bieniusa