Annette Bieniusa

Orcid: 0000-0002-1654-6118

Affiliations:
  • University of Kaiserslautern, Department of Computer Science, Germany


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
LoRe: A Programming Model for Verifiably Safe Local-first Software.
ACM Trans. Program. Lang. Syst., March, 2024

Distributed Locking as a Data Type.
CoRR, 2024

Models for Storage in Database Backends.
Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, 2024

Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations.
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang.
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2023
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact).
Dagstuhl Artifacts Ser., 2023

GeNIUS: Conditions for Successfully Teaching Computer Science Infused Natural Science Classes in Schools.
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.
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.
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).
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
Set-theoretic Types for Erlang.
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.
Sci. Comput. Program., 2021

On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems.
Proceedings of the Networked Systems - 9th International Conference, 2021

Access Control Conflict Resolution in Distributed File Systems using CRDTs.
Proceedings of the PaPoC@EuroSys 2021, 2021

Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems.
Proceedings of the PaPoC@EuroSys 2021, 2021

Bidirectional typing for Erlang.
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

2020
AutoCouch: a JSON CRDT framework.
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+.
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 2020

2019
Antidote SQL: Relaxed When Possible, Strict When Necessary.
CoRR, 2019

Combining State- and Event-Based Semantics to Verify Highly Available Programs.
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).
Dagstuhl Reports, 2018

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

Just-Right Consistency: reconciling availability and safety.
CoRR, 2018

Ensuring referential integrity under causal consistency.
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.
Proceedings of the Euro-Par 2018: Parallel Processing, 2018

Collaborative Work Management with a Highly-Available Kanban Board.
Proceedings of the Principled Software Development, 2018

2017
New Challenges in Parallelism (Dagstuhl Seminar 17451).
Dagstuhl Reports, 2017

Techreport: Time-sensitive probabilistic inference for the edge.
CoRR, 2017

EPTL - A temporal logic for weakly consistent systems.
CoRR, 2017

Legion: Enriching Internet Services with Peer-to-Peer Interactions.
Proceedings of the 26th International Conference on World Wide Web, 2017

Practical evaluation of the Lasp programming model at large scale: an experience report.
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).
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

FMKe: a Real-World Benchmark for Key-Value Data Stores.
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.
Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, 2017

2016
Access Control for Weakly Consistent Replicated Information Systems.
Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Cure: Strong Semantics Meets High Availability and Low Latency.
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

Eventually consistent register revisited.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Decoupling conflict resolution with CDVCS.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Highly-scalable concurrent objects.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Observing the consistency of distributed systems.
Proceedings of the 15th International Workshop on Erlang, 2016

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

Write Fast, Read in the Past: Causal Consistency for Client-Side Applications.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Adaptive strength geo-replication strategy.
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.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

Transactions on Mergeable Objects.
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.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Formal Specification and Verification of CRDTs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2012
An optimized conflict-free replicated set
CoRR, 2012

Brief Announcement: Semantics of Eventually Consistent Replicated Sets.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Access permission contracts for scripting languages.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Lifting the Barriers - Reducing Latencies with Transparent Transactional Memory.
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

2011
Consistency, isolation, and irrevocability in software transactional memory.
PhD thesis, 2011

Proving Isolation Properties for Software Transactional Memory.
Proceedings of the Programming Languages and Systems, 2011

2010
DOM Transactions for Testing JavaScript.
Proceedings of the Testing, 2010

Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair.
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.
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.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009
How to CPS Transform a Monad.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Htdp and dmda in the battlefield: a case study in first-year programming instruction.
Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

The Relation of Version Control to Concurrent Programming.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008


  Loading...