Annette Bieniusa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
18
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | Coordination | Proof of Delivery: Mechanized Mailbox Types. | Edgard Schiebelbein, Annette Bieniusa, Simon Fowler |
| 2023 | ECOOP | LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). | Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini |
| 2023 | EuroSys | A Study of Semantics for CRDT-based Collaborative Spreadsheets. | Elena Yanakieva, Philipp Bird, Annette Bieniusa |
| 2021 | EuroSys | Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems. | Susanne Braun, Annette Bieniusa, Frank Elberzhager |
| 2021 | EuroSys | Access Control Conflict Resolution in Distributed File Systems using CRDTs. | Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa |
| 2020 | EuroSys | AutoCouch: a JSON CRDT framework. | Pascal Grosch, Roman Krafft, Marcel Wlki, Annette Bieniusa |
| 2018 | EuroPar | Global-Local View: Scalable Consistency for Concurrent Data Types. | Deepthi Devaki Akkoorath, Jos Brando, Annette Bieniusa, Carlos Baquero |
| 2018 | EuroSys | Ensuring referential integrity under causal consistency. | Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri |
| 2017 | ECOOP | Multi-view data types for scalable concurrency in the multi-core era. | Deepthi Devaki Akkoorath, Jos Brando, Annette Bieniusa, Carlos Baquero |
| 2017 | EuroSys | FMKe: a Real-World Benchmark for Key-Value Data Stores. | Gonalo Toms, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, Joo Leito, Nuno M. Preguia |
| 2017 | FORTE | EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). | Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter |
| 2017 | PPDP | 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 |
| 2017 | WWW | Legion: Enriching Internet Services with Peer-to-Peer Interactions. | Albert van der Linde, Pedro Fouto, Joo Leito, Nuno M. Preguia, Santiago J. Castieira, Annette Bieniusa |
| 2016 | EuroSys | Highly-scalable concurrent objects. | Deepthi Devaki Akkoorath, Annette Bieniusa |
| 2016 | EuroSys | Decoupling conflict resolution with CDVCS. | Christian Weilbach, Konrad Khne, Annette Bieniusa |
| 2016 | EuroSys | Eventually consistent register revisited. | Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguia, Marc Shapiro |
| 2016 | ICDCS | 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. Preguia, Marc Shapiro |
| 2015 | APLAS | Transactions on Mergeable Objects. | Deepthi Devaki Akkoorath, Annette Bieniusa |
| 2015 | EuroSys | Collaborative offline web applications using conflict-free replicated data types. | Santiago J. Castieira, Annette Bieniusa |
| 2015 | EuroSys | Adaptive strength geo-replication strategy. | Amadeo Asc Signes, Annette Bieniusa |
| 2015 | Middleware | Write Fast, Read in the Past: Causal Consistency for Client-Side Applications. | Marek Zawirski, Nuno M. Preguia, Srgio Duarte, Annette Bieniusa, Valter Balegas, Marc Shapiro |
| 2014 | FORTE | Formal Specification and Verification of CRDTs. | Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter |
| 2014 | SRDS | SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine. | Nuno M. Preguia, Marek Zawirski, Annette Bieniusa, Srgio Duarte, Valter Balegas, Carlos Baquero, Marc Shapiro |
| 2012 | ICDCN | Lifting the Barriers - Reducing Latencies with Transparent Transactional Memory. | Annette Bieniusa, Thomas Fuhrmann |
| 2012 | POPL | Access permission contracts for scripting languages. | Phillip Heidegger, Annette Bieniusa, Peter Thiemann |
| 2011 | ESOP | Proving Isolation Properties for Software Transactional Memory. | Annette Bieniusa, Peter Thiemann |
| 2010 | OOPSLA | The architecture of the DecentVM: towards a decentralized virtual machine for many-core computing. | Annette Bieniusa, Johannes Eickhold, Thomas Fuhrmann |
| 2010 | PODC | Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. | Annette Bieniusa, Arie Middelkoop, Peter Thiemann |
| 2009 | CC | How to CPS Transform a Monad. | Annette Bieniusa, Peter Thiemann |
| 2008 | ICFP | 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 |