Annette Bieniusa

According to our database, Annette Bieniusa authored at least 60 papers between 2008 and 2024.

Collaborative distances:

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

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

Models for Storage in Database Backends.

Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Carla Ferreira, Gustavo Petri, Marc Shapiro

Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, 2024

Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations.

Marian Hristov, Annette Bieniusa

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang.

Florian Berger, Albert Schimpf, Annette Bieniusa, Stefan Wehr

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 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

GeNIUS: Conditions for Successfully Teaching Computer Science Infused Natural Science Classes in Schools.

Elena Yanakieva, Annette Bieniusa, Christoph Thyssen, Thomas Becka, Julia Albicker, Niklas Westermann, Barbara Pampel, Johannes Huwer

Proceedings of the 16th International Conference on Informatics in Schools: Situation, 2023

Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills.

Elena Yanakieva, Annette Bieniusa, Thomas Becka, Brian B. Moser, Dominik Jerger, Christoph Thyssen

Proceedings of the Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education, 2023

A Study of Semantics for CRDT-based Collaborative Spreadsheets.

Elena Yanakieva, Philipp Bird, Annette Bieniusa

Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 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

Set-theoretic Types for Erlang.

Albert Schimpf, Stefan Wehr, Annette Bieniusa

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

2021

Combining state- and event-based semantics to verify highly available applications.

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter

Sci. Comput. Program., 2021

On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems.

Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa

Proceedings of the Networked Systems - 9th International Conference, 2021

Access Control Conflict Resolution in Distributed File Systems using CRDTs.

Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa

Proceedings of the PaPoC@EuroSys 2021, 2021

Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems.

Susanne Braun, Annette Bieniusa, Frank Elberzhager

Proceedings of the PaPoC@EuroSys 2021, 2021

Bidirectional typing for Erlang.

Nithin Vadukkumchery Rajendrakumar, Annette Bieniusa

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

2020

AutoCouch: a JSON CRDT framework.

Pascal Grosch, Roman Krafft, Marcel Wölki, Annette Bieniusa

Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.

Peter Zeller, Annette Bieniusa, Carla Ferreira

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 2020

2019

Antidote SQL: Relaxed When Possible, Strict When Necessary.

Pedro Lopes, João Sousa, Valter Balegas, Carla Ferreira, Sérgio Duarte, Annette Bieniusa, Rodrigo Rodrigues, Nuno M. Preguiça

CoRR, 2019

Combining State- and Event-Based Semantics to Verify Highly Available Programs.

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091).

Annette Bieniusa, Alexey Gotsman, Bettina Kemme, Marc Shapiro

Dagstuhl Reports, 2018

ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases.

Mathias Weber, Annette Bieniusa

CoRR, 2018

Just-Right Consistency: reconciling availability and safety.

Marc Shapiro, Annette Bieniusa, Nuno M. Preguiça, Valter Balegas, Christopher Meiklejohn

CoRR, 2018

Ensuring referential integrity under causal consistency.

Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri

Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

Global-Local View: Scalable Consistency for Concurrent Data Types.

Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero

Proceedings of the Euro-Par 2018: Parallel Processing, 2018

Collaborative Work Management with a Highly-Available Kanban Board.

Annette Bieniusa, Peter Zeller, Shraddha Barke

Proceedings of the Principled Software Development, 2018

2017

New Challenges in Parallelism (Dagstuhl Seminar 17451).

Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy, Erez Petrank

Dagstuhl Reports, 2017

Techreport: Time-sensitive probabilistic inference for the edge.

Christian Weilbach, Annette Bieniusa

CoRR, 2017

EPTL - A temporal logic for weakly consistent systems.

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter

CoRR, 2017

Legion: Enriching Internet Services with Peer-to-Peer Interactions.

Albert van der Linde, Pedro Fouto, João Leitão, Nuno M. Preguiça, Santiago J. Castiñeira, Annette Bieniusa

Proceedings of the 26th International Conference on World Wide Web, 2017

Practical evaluation of the Lasp programming model at large scale: an experience report.

Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper).

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

FMKe: a Real-World Benchmark for Key-Value Data Stores.

Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, João Leitão, Nuno M. Preguiça

Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

Multi-view data types for scalable concurrency in the multi-core era.

Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero

Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, 2017

2016

Access Control for Weakly Consistent Replicated Information Systems.

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Cure: Strong Semantics Meets High Availability and Low Latency.

Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

Eventually consistent register revisited.

Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Decoupling conflict resolution with CDVCS.

Christian Weilbach, Konrad Kühne, Annette Bieniusa

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Highly-scalable concurrent objects.

Deepthi Devaki Akkoorath, Annette Bieniusa

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Observing the consistency of distributed systems.

Deepthi Devaki Akkoorath, Viktória Fördós, Annette Bieniusa

Proceedings of the 15th International Workshop on Erlang, 2016

2015

replikativ.io: Composable consistency primitives for a scalable and robust global replication system.

Christian Weilbach, Konrad Kühne, Annette Bieniusa

CoRR, 2015

Write Fast, Read in the Past: Causal Consistency for Client-Side Applications.

Marek Zawirski, Nuno M. Preguiça, Sérgio Duarte, Annette Bieniusa, Valter Balegas, Marc Shapiro

Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Adaptive strength geo-replication strategy.

Amadeo Ascó Signes, Annette Bieniusa

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

Collaborative offline web applications using conflict-free replicated data types.

Santiago J. Castiñeira, Annette Bieniusa

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

Transactions on Mergeable Objects.

Deepthi Devaki Akkoorath, Annette Bieniusa

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine.

Nuno M. Preguiça, Marek Zawirski, Annette Bieniusa, Sérgio Duarte, Valter Balegas, Carlos Baquero, Marc Shapiro

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Formal Specification and Verification of CRDTs.

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2012

An optimized conflict-free replicated set

Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte

CoRR, 2012

Brief Announcement: Semantics of Eventually Consistent Replicated Sets.

Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Access permission contracts for scripting languages.

Phillip Heidegger, Annette Bieniusa, Peter Thiemann

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Lifting the Barriers - Reducing Latencies with Transparent Transactional Memory.

Annette Bieniusa, Thomas Fuhrmann

Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

2011

Consistency, isolation, and irrevocability in software transactional memory.

Annette Bieniusa

PhD thesis, 2011

Proving Isolation Properties for Software Transactional Memory.

Annette Bieniusa, Peter Thiemann

Proceedings of the Programming Languages and Systems, 2011

2010

DOM Transactions for Testing JavaScript.

Phillip Heidegger, Annette Bieniusa, Peter Thiemann

Proceedings of the Testing, 2010

Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair.

Annette Bieniusa, Arie Middelkoop, Peter Thiemann

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

The architecture of the DecentVM: towards a decentralized virtual machine for many-core computing.

Annette Bieniusa, Johannes Eickhold, Thomas Fuhrmann

Proceedings of the VMIL@SPLASH 2010: Virtual Machines and Intermediate Languages, Reno, Nevada, USA, October 17, 2010

Consistency in hindsight: A fully decentralized STM algorithm.

Annette Bieniusa, Thomas Fuhrmann

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009

How to CPS Transform a Monad.

Annette Bieniusa, Peter Thiemann

Proceedings of the Compiler Construction, 18th International Conference, 2009

2008

Htdp and dmda in the battlefield: a case study in first-year programming instruction.

Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

The Relation of Version Control to Concurrent Programming.

Annette Bieniusa, Peter Thiemann, Stefan Wehr

Proceedings of the International Conference on Computer Science and Software Engineering, 2008