Publikationen

Sortiere nach: Autor, Jahr, Titel

  • Lore. A programming model for verifiably safe local-first software.
    Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa und Mira Mezini
    ACM Transactions on Programming Languages and Systems, Vol. 46, Nr. 1, S. 1 - 26. (2024)
  • A Study of Semantics for CRDT-based Collaborative Spreadsheets.
    Elena Yanakieva, Philipp Bird und Annette Bieniusa
    Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, S. 37 - 43. (2023)
    DOI: 10.1145/3578358.3591324
    https://doi.org/10.1145/3578358.3591324
  • Bridging the Gap. Infusing Natural Science Classes with Computer Science Concepts and Skills.
    Elena Yanakieva, Annette Bieniusa, Thomas Becka, Brian Moser, Dominik Jerger und Christoph Thyssen
    Informatics in Schools. Beyond Bits and Bytes, Vol. 14296, S. 180 - 193. (2023)
    DOI: 10.1007/978-3-031-44900-0\_14
    https://doi.org/10.1007/978-3-031-44900-0\_14
  • LoRe. A Programming Model for Verifiably Safe Local-First Software (Extended Abstract).
    Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa und Mira Mezini
    37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, Vol. 263, S. 12 - 1. (2023)
    DOI: 10.4230/LIPICS.ECOOP.2023.12
    https://doi.org/10.4230/LIPIcs.ECOOP.2023.12
  • Persisting the AntidoteDB Cache. Design and Implementation of a Cache for a CRDT Datastore.
    Ayush Pandey, Annette Bieniusa und Marc Shapiro
    Nr. RR-9470, (2022-Jan)
    https://inria.hal.science/hal-03654003
  • Set-theoretic types for erlang.
    Albert Schimpf, Stefan Wehr und Annette Bieniusa
    Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, S. 1 - 14. (2022)
  • Access Control Conflict Resolution in Distributed File Systems using CRDTs.
    Elena Yanakieva, Michael Youssef, Ahmad Rezae und Annette Bieniusa
    8th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2021, April 26, 2021, (2021)
  • Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems.
    Susanne Braun, Annette Bieniusa und Frank Elberzhager
    8th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2021, April 26, 2021, (2021)
  • Bidirectional typing for Erlang.
    Nithin Rajendrakumar und Annette Bieniusa
    Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021, S. 54 - 63. (2021)
    DOI: 10.1145/3471871.3472966
    https://doi.org/10.1145/3471871.3472966
  • Combining state- and event-based semantics to verify highly available applications.
    Peter Zeller, Annette Bieniusa und Arnd Poetzsch-Heffter
    Sci. Comput. Program., Vol. 210, S. 102687. (2021)
    DOI: 10.1016/J.SCICO.2021.102687
    https://doi.org/10.1016/j.scico.2021.102687
  • On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems (Best Student Paper Award).
    Elena Yanakieva, Michael Youssef, Ahmad Rezae und Annette Bieniusa
    Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings, Vol. 12754, S. 3 - 18. (2021)
    DOI: 10.1007/978-3-030-91014-3\_1
    https://doi.org/10.1007/978-3-030-91014-3\_1
  • AutoCouch. a JSON CRDT framework.
    Pascal Grosch, Roman Krafft, Marcel Wölki und Annette Bieniusa
    7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, S. 6 - 1. (2020)
    DOI: 10.1145/3380787.3393679
    https://doi.org/10.1145/3380787.3393679
  • Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.
    Peter Zeller, Annette Bieniusa und Carla Ferreira
    Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020, S. 14 - 23. (2020)
    DOI: 10.1145/3406085.3409009
    https://doi.org/10.1145/3406085.3409009
  • Combining State- and Event-Based Semantics to Verify Highly Available Programs.
    Peter Zeller, Annette Bieniusa und Arnd Poetzsch-Heffter
    Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, S. 213 - 232. (2019)
    DOI: 10.1007/978-3-030-40914-2\_11
    https://doi.org/10.1007/978-3-030-40914-2\_11
  • Collaborative Work Management with a Highly-Available Kanban Board.
    Annette Bieniusa, Peter Zeller und Shraddha Barke
    Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, S. 59 - 72. (2018)
    DOI: 10.1007/978-3-319-98047-8\_4
    https://doi.org/10.1007/978-3-319-98047-8\_4
  • Ensuring referential integrity under causal consistency.
    Marc Shapiro, Annette Bieniusa, Peter Zeller und Gustavo Petri
    Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018, S. 1 - 1. (2018)
    DOI: 10.1145/3194261.3194262
    https://doi.org/10.1145/3194261.3194262
  • Global-Local View. Scalable Consistency for Concurrent Data Types.
    Deepthi Akkoorath, José Brandão, Annette Bieniusa und Carlos Baquero
    Euro-Par 2018, S. 492 - 504. (2018)
    DOI: 10.1007/978-3-319-96983-1\_35
    https://doi.org/10.1007/978-3-319-96983-1\_35
  • EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper).
    Mathias Weber, Annette Bieniusa und Arnd Poetzsch-Heffter
    Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, S. 236 - 242. (2017)
    DOI: 10.1007/978-3-319-60225-7\_17
    https://doi.org/10.1007/978-3-319-60225-7\_17
  • FMKe. a Real-World Benchmark for Key-Value Data Stores.
    Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Akkoorath, Annette Bieniusa, João Leitão und Nuno Preguiça
    Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, S. 7 - 1. (2017)
    DOI: 10.1145/3064889.3064897
    https://doi.org/10.1145/3064889.3064897
  • Legion. Enriching Internet Services with Peer-to-Peer Interactions.
    Albert Linde, Pedro Fouto, João Leitão, Nuno Preguiça, Santiago Castiñeira und Annette Bieniusa
    Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Perth, Australia, April 3-7, 2017, S. 283 - 292. (2017)
    DOI: 10.1145/3038912.3052673
    https://doi.org/10.1145/3038912.3052673
  • Practical evaluation of the Lasp programming model at large scale. an experience report.
    Christopher Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Roy und Annette Bieniusa
    Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, S. 109 - 114. (2017)
    DOI: 10.1145/3131851.3131862
    https://doi.org/10.1145/3131851.3131862
  • Access Control for Weakly Consistent Replicated Information Systems.
    Mathias Weber, Annette Bieniusa und Arnd Poetzsch-Heffter
    Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings, S. 82 - 97. (2016)
    DOI: 10.1007/978-3-319-46598-2\_6
    https://doi.org/10.1007/978-3-319-46598-2\_6
  • Cure. Strong Semantics Meets High Availability and Low Latency.
    Deepthi Akkoorath, Alejandro Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguiça und Marc Shapiro
    36th IEEE International Conference on Distributed Computing Systems, ICDCS 2016, Nara, Japan, June 27-30, 2016, S. 405 - 414. (2016)
    DOI: 10.1109/ICDCS.2016.98
    https://doi.org/10.1109/ICDCS.2016.98
  • Decoupling conflict resolution with CDVCS.
    Christian Weilbach, Konrad Kühne und Annette Bieniusa
    Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, S. 11 - 1. (2016)
    DOI: 10.1145/2911151.2911154
    https://doi.org/10.1145/2911151.2911154
  • Eventually consistent register revisited.
    Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça und Marc Shapiro
    Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, S. 9 - 1. (2016)
    DOI: 10.1145/2911151.2911157
    https://doi.org/10.1145/2911151.2911157
  • Highly-scalable concurrent objects.
    Deepthi Akkoorath und Annette Bieniusa
    Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, S. 13 - 1. (2016)
    DOI: 10.1145/2911151.2911158
    https://doi.org/10.1145/2911151.2911158
  • Observing the consistency of distributed systems.
    Deepthi Akkoorath, Viktória Fördós und Annette Bieniusa
    Proceedings of the 15th International Workshop on Erlang, Nara, Japan, September 18-22, 2016, S. 54 - 55. (2016)
    DOI: 10.1145/2975969.2975975
    https://doi.org/10.1145/2975969.2975975
  • Adaptive Strength Geo-Replication Strategy.
    Amadeo Ascó und Annette Bieniusa
    Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data, (2015)
  • Collaborative offline web applications using Conflict-free Replicated Data Types.
    Santiago Castiñeira und Annette Bieniusa
    Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data, (2015)
  • Transactions on Mergeable Objects.
    Deepthi Akkoorath und Annette Bieniusa
    Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, S. 427 - 444. (2015)
    DOI: 10.1007/978-3-319-26529-2\_23
    https://doi.org/10.1007/978-3-319-26529-2\_23
  • Write Fast, Read in the Past. Causal Consistency for Client-Side Applications.
    Marek Zawirski, Nuno Preguiça, Sérgio Duarte, Annette Bieniusa, Valter Balegas und Marc Shapiro
    Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07 - 11, 2015, S. 75 - 87. (2015)
    DOI: 10.1145/2814576.2814733
    https://doi.org/10.1145/2814576.2814733
  • Formal Specification and Verification of CRDTs.
    Peter Zeller, Annette Bieniusa und Arnd Poetzsch-Heffter
    Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, Vol. 8461, S. 33 - 48. (2014)
  • SwiftCloud. Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine.
    Nuno Preguiça, Marek Zawirski, Annette Bieniusa, Sérgio Duarte, Valter Balegas, Carlos Baquero und Marc Shapiro
    33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014, S. 30 - 33. (2014)
  • Lifting the Barriers - Reducing Latencies with Transparent Transactional Memory.
    Annette Bieniusa und Thomas Fuhrmann
    Proceedings of the 13th International Conference on Distributed Computing and Networking (ICDCN12), (2012-jan)
  • Access Permission Contracts for Scripting Languages.
    Phillip Heidegger, Annette Bieniusa und Peter Thiemann
    POPL 2012, (2012-Jan)
  • Brief Announcement. Semantics of Eventually Consistent Replicated Sets.
    Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas und Sérgio Duarte
    Distributed Computing - 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings, S. 441 - 442. (2012)
  • Proving Isolation Properties for Software Transactional Memory.
    Annette Bieniusa und Peter Thiemann
    Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011., (2011)
  • Brief announcement. Actions in the Twilight - Concurrent Irrevocable Transactions and Inconsistency Repair.
    Annette Bieniusa, Arie Middelkoop und Peter Thiemann
    Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, S. 71 - 72. (2010)
  • Consistency in hindsight. A fully decentralized STM algorithm.
    Annette Bieniusa und Thomas Fuhrmann
    Proceedings of the 2010 IEEE International Symposium on Parallel Distributed Processing (IPDPS), April 19-23, 2010, Atlanta, Georgia, USA, (2010)
  • DOM Transactions for Testing JavaScript.
    Phillip Heidegger, Annette Bieniusa und Peter Thiemann
    Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings, Vol. 6303, S. 211 - 214. (2010)
  • The Architecture of DecentVM - Towards a Decentralized Virtual Machine for Many-Core Computing.
    Annette Bieniusa, Johannes Eickhold und Thomas Fuhrmann
    Proceedings of the 4th workshop on Virtual Machines and Intermediate Languages (VMIL), October 17, 2010, Reno, Nevada, USA, (2010)
  • How to CPS Transform a Monad.
    Annette Bieniusa und Peter Thiemann
    Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, Vol. 5501, S. 266 - 280. (2009)
  • HtDP and DMdA in the Battlefield.
    Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel und Michael Sperber
    Functional and Declarative Programming in Education, (2008-sep)
  • Auf dem Weg zu einer robusten Programmierausbildung.
    Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel und Michael Sperber
    3. Workshop des GI-Fachbereichs Hochschuldidaktik der Informatik, (2008-Dec)
  • The Relation of Version Control to Concurrent Programming.
    Annette Bieniusa, Peter Thiemann und Stefan Wehr
    International Conference on Computer Science and Software Engineering, CSSE 2008, December 12-14, 2008, Wuhan, China, S. 461 - 464. (2008)