Annette Bieniusa

79 papers A* 3A 6B 2C 3Misc 1Journal 25Unranked 34

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