Accepted Papers and Lightning Talks
Papers
- AegisSheet: A Compositional CRDT for Collaborative Spreadsheets (short paper), Florian Pfeil (Technische Universität Darmstadt), David Scandurra (Technische Universität Darmstadt), Julian Haas (Technische Universität Darmstadt)
- Bounding Byzantine Impact in Open CRDT Systems (short paper), Carlos Baquero (Universidade do Porto & INESC TEC), Francisco Maia (Universidade do Porto & INESC TEC), Abel Dantas (Universidade do Porto & INESC TEC), Antonio Fernandez Anta (IMDEA Software Institute & IMDEA Networks Institute), Davide Frey (Inria), Cesar Sanchez (IMDEA Software Institute), Timothé Albouy (IMDEA Software Institute)
- Can you keep a secret? A new protocol for sender-side enforcement of causal message delivery (long paper), Yan Tong (UC Santa Cruz), Nathan Liittschwager (UC Santa Cruz), Lindsey Kuper (UC Santa Cruz)
- CobbleDB: Modelling Levelled Storage by Composition (short paper), Emilie Ma (University of British Columbia), Ayush Pandey (Télécom SudParis), Annette Bieniusa (University of Kaiserslautern-Landau (RPTU)), Marc Shapiro (Sorbonne-Université–LIP6 & Inria)
- ConflictSync: Bandwidth Efficient Synchronization of Divergent State (short paper), Carlos Baquero (Universidade do Porto & INESC TEC), Pedro Gomes (Universidade do Porto), Miguel Boaventura Rodrigues (Universidade do Porto)
- Data Consistency Challenges in AI Applications (long paper), Ken Birman (Cornell University and Microsoft), Jamal Aziz Hashim (Cornell University), Edward Tremel (Augusta University), Alicia Yang (Cornell University)
- ERA: Epoch-Resolved Arbitration for Duelling Admins in Group Management CRDTs (short paper), Kegan Dougal (Element Creations Ltd)
- Sal: Multi-modal Verification of Replicated Data Types (short paper), Pranav Ramesh (Indian Institute of Technology, Madras), Vimala Soundarapandian (Indian Institute of Technology, Madras), KC Sivaramakrishnan (Indian Institute of Technology, Madras)
- Semantic Conflict Model for Collaborative Data Structures (short paper), Georgii Semenov (ITMO University), Vitaly Aksenov (ITMO University)
- Towards Distributed Constraint Solving with CRDT (short paper), Hakan Hasan (SnT, University of Luxembourg), Pierre Talbot (University of Luxembourg)
Lightning Talks
- A Starting Point Towards Accessible Formal Verification of Local-First Access Control, Florian Jacob (Karlsruhe Institute of Technology (KIT)), Johanna Stuber (Karlsruhe Institute of Technology (KIT)), Hannes Hartenstein (Karlsruhe Institute of Technology (KIT))
- It’s not a lie if you don’t get caught: simplifying reconfiguration in SMR through dirty logs, Natacha Crooks (UC Berkeley & Subzero Labs), Allen Clement (Subzero Labs), Neil Giridharan (UC Berkeley & Subzero Labs), Alex Shamis (Subzero Labs)
- Towards practical DAG-based BFT SMR, Paul Bergmann (Friedrich-Alexander-Universität Erlangen-Nürnberg)
Keynotes
Rachid Guerraoui
Rachid Guerraoui has been affiliated with Ecole des Mines of Paris, the Commissariat à l’Energie Atomique of Saclay, Hewlett Packard Laboratories and the Massachusetts Institute of Technology. He has worked in a variety of aspects of distributed computing, including distributed algorithms and distributed programming languages. He is most well known for his work on (e-)Transactions, epidemic information dissemination and indulgent algorithms. He co-authored a book on Transactional Systems (Hermes) and a book on reliable distributed programming (Springer). He was appointed program chair of ECOOP 1999, ACM Middleware 2001, IEEE SRDS 2002, DISC 2004 and ACM PODC 2010. Rachid Guerraoui’s current projects include secure distributed storage, transactional shared memory and the computability of distributed algorithms. His recent research has been sponsored by the European Commission, the Swiss National Science Foundation, LODH, MSR and HP.
KC Sivaramakrishnan
KC Sivaramakrishnan is an Assistant Professor in the Computer Science and Engineering department at Indian Institute of Technology, Madras and the Chief Technology Officer of Tarides. He is interested in building robust, secure and scalable systems using programming language technology. He led the development of Multicore OCaml, a concurrent and parallel extension of the OCaml programming language. Multicore OCaml is now merged into OCaml, and is available for general use in OCaml 5.0. Effect handlers introduced as part of the concurrency story of Multicore OCaml has had influence on the design of React Hooks and WebAssembly stack switching. He has co-founded several companies: Tarides - France; OCaml Labs Consultancy - UK (joined Tarides); and Segfault Systems - India (joined Tarides), Earlier, he was a Senior Research Associate under the OCaml Labs initiative at the University of Cambridge Computer Lab, an 1851 Research Fellow and a Research Fellow at Darwin College, Cambridge. Earlier, he was a graduate student at Purdue University where he obtained an MS and a PhD degree in Computer Science under the supervision of Prof. Suresh Jagannathan. Before that, he obtained his BEng degree in Computer Science and Engineering from Anna University, India.
Program
TBD