Publications 2012-2024

• 2024
  • E. Schiebelbein, S. Hatia, A. Bieniusa, G. Petri, C. Ferreira, M. Shapiro : “Models for Storage in Database Backends: A Rigorous Approach for Formally-Correct Designs”, Proceedings of the EuroSys 2024 workshops, Athènes, Greece (2024)
• 2022
  • A. Pandey, A. Bieniusa, M. Shapiro : “Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore”, (2022)
• 2018
  • A. Bieniusa, A. Gotsman, B. Kemme, M. Shapiro : “Data Consistency in Distributed Systems: Algorithms, Programs, and Databases”, Dagstuhl Reports, vol. 8 (2), Dagstuhl Reports, pp. 101-121, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) (2018)
  • M. Shapiro, A. Bieniusa, P. Zeller, G. Petri : “Ensuring referential integrity under causal consistency”, PaPoC 2018 - 5^th Workshop on Principles and Practice of Consistency for Distributed Data, Porto, Portugal (2018)
  • M. Shapiro, A. Bieniusa, N. Preguiça, V. Balegas, Ch. Meiklejohn : “Just-Right Consistency: reconciling availability and safety”, 1-15 pages (2018)
• 2016
  • D. Akkoorath, A. Tomsic, M. Bravo, Zh. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro : “Cure: Strong semantics meets high availability and low latency”, Int. Conf. on Distributed Computing Systems (ICDCS), Nara, Japan, pp. 405-414, (IEEE) (2016)
  • M. Zawirski, C. Baquero, A. Bieniusa, N. Preguiça, M. Shapiro : “Eventually Consistent Register Revisited”, Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), vol. PaPoC 2016, Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), London, United Kingdom, pp. 7 (2016)
  • D. Akkoorath, A. Tomsic, M. Bravo, Zh. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro : “Cure: Strong semantics meets high availability and low latency”, (2016)
• 2015
  • M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas, M. Shapiro : “Write Fast, Read in the Past: Causal Consistency for Client-side Applications”, Middleware 2015, Vancouver, BC, Canada, pp. 75-87, (ACM) (2015)
  • M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas, M. Shapiro : “Write Fast, Read in the Past: Causal Consistency for Client-side Applications”, (2015)
• 2013
  • M. Zawirski, A. Bieniusa, V. Balegas, S. Duarte, C. Baquero, M. Shapiro, N. Preguiça : “SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine”, (2013)
• 2012
  • A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero, V. Balegas, S. Duarte : “An optimized conflict-free replicated set”, 12 pages (2012)
  • A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero, V. Balegas, S. Duarte : “Brief Announcement: Semantics of Eventually Consistent Replicated Sets”, DISC 2012 - 26^th International Symposium on Distributed Computing, vol. 7611, Lecture Notes in Computer Science, Salvador, Bahia, Brazil, pp. 441-442, (Springer) (2012)
  • Ph. Heidegger, A. Bieniusa, P. Thieman : “Access Permission Contracts for Scripting Languages”, 39^th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Philadelphia, United States, pp. 111-122, (ACM) (2012)