default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnette Bieniusa
Person information
- affiliation: University of Kaiserslautern, Department of Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j3]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): 2:1-2:26 (2024)- [c46]Florian Berger, Albert Schimpf, Annette Bieniusa, Stefan Wehr:
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang. Erlang 2024: 2-12 - [c45]Marian Hristov, Annette Bieniusa:
Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations. Erlang 2024: 13-23 - [c44]Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Carla Ferreira, Gustavo Petri, Marc Shapiro:
Models for Storage in Database Backends. PaPoC@EuroSys 2024: 58-66 - [i18]Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Gustavo Petri, Carla Ferreira, Marc Shapiro:
Models for Storage in Database Backends. CoRR abs/2403.11716 (2024) - [i17]Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini:
Distributed Locking as a Data Type. CoRR abs/2405.15578 (2024) - 2023
- [j2]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): 11:1-11:2 (2023) - [c43]Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). ECOOP 2023: 12:1-12:15 - [c42]Elena Yanakieva, Philipp Bird, Annette Bieniusa:
A Study of Semantics for CRDT-based Collaborative Spreadsheets. PaPoC@EuroSys 2023: 37-43 - [c41]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: 180-193 - [c40]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 - [i16]Albert Schimpf, Stefan Wehr, Annette Bieniusa:
Set-theoretic Types for Erlang. CoRR abs/2302.12783 (2023) - [i15]Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software. CoRR abs/2304.07133 (2023) - 2022
- [c39]Albert Schimpf, Stefan Wehr, Annette Bieniusa:
Set-theoretic Types for Erlang. IFL 2022: 4:1-4:14 - 2021
- [j1]Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter:
Combining state- and event-based semantics to verify highly available applications. Sci. Comput. Program. 210: 102687 (2021) - [c38]Nithin Vadukkumchery Rajendrakumar, Annette Bieniusa:
Bidirectional typing for Erlang. Erlang Workshop 2021: 54-63 - [c37]Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa:
Access Control Conflict Resolution in Distributed File Systems using CRDTs. PaPoC@EuroSys 2021: 1:1-1:3 - [c36]Susanne Braun, Annette Bieniusa, Frank Elberzhager:
Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems. PaPoC@EuroSys 2021: 9:1-9:12 - [c35]Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa:
On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems. NETYS 2021: 3-18 - [e3]Stavros Aronis, Annette Bieniusa:
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021. ACM 2021, ISBN 978-1-4503-8612-8 [contents] - 2020
- [c34]Peter Zeller, Annette Bieniusa, Carla Ferreira:
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. Erlang Workshop 2020: 14-23 - [c33]Pascal Grosch, Roman Krafft, Marcel Wölki, Annette Bieniusa:
AutoCouch: a JSON CRDT framework. PaPoC@EuroSys 2020: 6:1-6:7 - [e2]Annette Bieniusa, Viktória Fördós:
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020. ACM 2020, ISBN 978-1-4503-8049-2 [contents]
2010 – 2019
- 2019
- [c32]Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter:
Combining State- and Event-Based Semantics to Verify Highly Available Programs. FACS 2019: 213-232 - [i14]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 abs/1902.03576 (2019) - 2018
- [c31]Annette Bieniusa, Peter Zeller, Shraddha Barke:
Collaborative Work Management with a Highly-Available Kanban Board. Principled Software Development 2018: 59-72 - [c30]Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero:
Global-Local View: Scalable Consistency for Concurrent Data Types. Euro-Par 2018: 492-504 - [c29]Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri:
Ensuring referential integrity under causal consistency. PaPoC@EuroSys 2018: 1:1-1:5 - [i13]Marc Shapiro, Annette Bieniusa, Nuno M. Preguiça, Valter Balegas, Christopher Meiklejohn:
Just-Right Consistency: reconciling availability and safety. CoRR abs/1801.06340 (2018) - [i12]Mathias Weber, Annette Bieniusa:
ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases. CoRR abs/1801.07005 (2018) - [i11]Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri:
Ensuring referential integrity under causal consistency. CoRR abs/1803.03482 (2018) - [i10]Annette Bieniusa, Alexey Gotsman, Bettina Kemme, Marc Shapiro:
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091). Dagstuhl Reports 8(2): 101-121 (2018) - 2017
- [c28]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: 3:1 - [c27]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: 7:1-7:4 - [c26]Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter:
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). FORTE 2017: 236-242 - [c25]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: 109-114 - [c24]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: 283-292 - [e1]Annette Bieniusa, Alexey Gotsman:
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017. ACM 2017, ISBN 978-1-4503-4933-8 [contents] - [i9]Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter:
EPTL - A temporal logic for weakly consistent systems. CoRR abs/1704.05320 (2017) - [i8]Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero:
Global-Local View: Scalable Consistency for Concurrent Data Types. CoRR abs/1705.03704 (2017) - [i7]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 abs/1708.06423 (2017) - [i6]Christian Weilbach, Annette Bieniusa:
Techreport: Time-sensitive probabilistic inference for the edge. CoRR abs/1710.11057 (2017) - [i5]Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy, Erez Petrank:
New Challenges in Parallelism (Dagstuhl Seminar 17451). Dagstuhl Reports 7(11): 1-27 (2017) - 2016
- [c23]Deepthi Devaki Akkoorath, Viktória Fördós, Annette Bieniusa:
Observing the consistency of distributed systems. Erlang Workshop 2016: 54-55 - [c22]Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro:
Eventually consistent register revisited. PaPoC@EuroSys 2016: 9:1-9:3 - [c21]Christian Weilbach, Konrad Kühne, Annette Bieniusa:
Decoupling conflict resolution with CDVCS. PaPoC@EuroSys 2016: 11:1-11:6 - [c20]Deepthi Devaki Akkoorath, Annette Bieniusa:
Highly-scalable concurrent objects. PaPoC@EuroSys 2016: 13:1-13:4 - [c19]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: 405-414 - [c18]Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter:
Access Control for Weakly Consistent Replicated Information Systems. STM 2016: 82-97 - 2015
- [c17]Deepthi Devaki Akkoorath, Annette Bieniusa:
Transactions on Mergeable Objects. APLAS 2015: 427-444 - [c16]Amadeo Ascó Signes, Annette Bieniusa:
Adaptive strength geo-replication strategy. PaPoC@EuroSys 2015: 3:1-3:4 - [c15]Santiago J. Castiñeira, Annette Bieniusa:
Collaborative offline web applications using conflict-free replicated data types. PaPoC@EuroSys 2015: 5:1-5:4 - [c14]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: 75-87 - [i4]Christian Weilbach, Konrad Kühne, Annette Bieniusa:
replikativ.io: Composable consistency primitives for a scalable and robust global replication system. CoRR abs/1508.05545 (2015) - [i3]Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro:
Eventually Consistent Register Revisited. CoRR abs/1511.05010 (2015) - 2014
- [c13]Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter:
Formal Specification and Verification of CRDTs. FORTE 2014: 33-48 - [c12]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: 30-33 - 2013
- [i2]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 abs/1310.3107 (2013) - 2012
- [c11]Annette Bieniusa, Thomas Fuhrmann:
Lifting the Barriers - Reducing Latencies with Transparent Transactional Memory. ICDCN 2012: 16-30 - [c10]Phillip Heidegger, Annette Bieniusa, Peter Thiemann:
Access permission contracts for scripting languages. POPL 2012: 111-122 - [c9]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: 441-442 - [i1]Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte:
An optimized conflict-free replicated set. CoRR abs/1210.3368 (2012) - 2011
- [b1]Annette Bieniusa:
Consistency, isolation, and irrevocability in software transactional memory. University of Freiburg, Germany, 2011 - [c8]Annette Bieniusa, Peter Thiemann:
Proving Isolation Properties for Software Transactional Memory. ESOP 2011: 38-56 - 2010
- [c7]Annette Bieniusa, Thomas Fuhrmann:
Consistency in hindsight: A fully decentralized STM algorithm. IPDPS 2010: 1-12 - [c6]Annette Bieniusa, Johannes Eickhold, Thomas Fuhrmann:
The architecture of the DecentVM: towards a decentralized virtual machine for many-core computing. VMIL@SPLASH 2010: 5:1-5:10 - [c5]Annette Bieniusa, Arie Middelkoop, Peter Thiemann:
Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. PODC 2010: 71-72 - [c4]Phillip Heidegger, Annette Bieniusa, Peter Thiemann:
DOM Transactions for Testing JavaScript. TAIC PART 2010: 211-214
2000 – 2009
- 2009
- [c3]Annette Bieniusa, Peter Thiemann:
How to CPS Transform a Monad. CC 2009: 266-280 - 2008
- [c2]Annette Bieniusa, Peter Thiemann, Stefan Wehr:
The Relation of Version Control to Concurrent Programming. CSSE (3) 2008: 461-464 - [c1]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: 1-12
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
