• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 108 matches

• 2024
• 
  David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard:
  Bigger, not Badder: Safely Scaling BFT Protocols. PaPoC@EuroSys 2024: 30-36
• 
  Liangrun Da, Martin Kleppmann:
  Extending JSON CRDTs with Move Operations. PaPoC@EuroSys 2024: 8-14
• 
  Florian Jacob, Hannes Hartenstein:
  Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types. PaPoC@EuroSys 2024: 37-43
• 
  Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier:
  Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple. PaPoC@EuroSys 2024: 44-57
• 
  Conor Power, Saikrishna Achalla, Ryan Cottone, Nathaniel Macasaet, Joseph M. Hellerstein:
  Wrapping Rings in Lattices: An Algebraic Symbiosis of Incremental View Maintenance and Eventual Consistency. PaPoC@EuroSys 2024: 15-22
• 
  Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Carla Ferreira, Gustavo Petri, Marc Shapiro:
  Models for Storage in Database Backends. PaPoC@EuroSys 2024: 58-66
• 
  Leo Stewen, Martin Kleppmann:
  Undo and Redo Support for Replicated Registers. PaPoC@EuroSys 2024: 1-7
• 
  Jian Zhang, Cheng Tan:
  Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking. PaPoC@EuroSys 2024: 23-29
• 
  Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024. ACM 2024 [contents]
• 2023
• 
  Jim Bauwens, Kevin De Porre, Elisa Gonzalez Boix:
  [Short paper] Towards improved collaborative text editing CRDTs by using Natural Language Processing. PaPoC@EuroSys 2023: 51-55
• 
  Pedro Henrique Fernandes, Carlos Baquero:
  Probabilistic Causal Contexts for Scalable CRDTs. PaPoC@EuroSys 2023: 1-8
• 
  Joshua Guarnieri, Aleksey Charapko:
  Linearizable Low-latency Reads at the Edge. PaPoC@EuroSys 2023: 77-83
• 
  Florian Jacob, Hannes Hartenstein:
  On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types. PaPoC@EuroSys 2023: 63-69
• 
  Andrew Jeffery, Richard Mortier:
  AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker. PaPoC@EuroSys 2023: 44-50
• 
  Laura Lawniczak, Marco Ammon, Tobias Distler:
  Generic Checkpointing Support for Stream-based State-Machine Replication. PaPoC@EuroSys 2023: 23-29
• 
  Sushant Mane, Fangmin Lyu, Benjamin C. Reed:
  Verify, And Then Trust: Data Inconsistency Detection in ZooKeeper. PaPoC@EuroSys 2023: 16-22
• 
  Natalie Neamtu, Haobin Ni, Robbert van Renesse:
  Trees and Turtles: Modular Abstractions for State Machine Replication Protocols. PaPoC@EuroSys 2023: 9-15
• 
  Nuno M. Santos, Luís M. Silva, João Leitão, Nuno M. Preguiça:
  Data Management for mobile applications dependent on geo-located data. PaPoC@EuroSys 2023: 70-76
• 
  João Rafael Pinto Soares, Luís E. T. Rodrigues:
  Performance Trade-offs in Transactional Systems. PaPoC@EuroSys 2023: 30-36
• 
  Matthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller:
  For-Each Operations in Collaborative Apps. PaPoC@EuroSys 2023: 56-62
• 
  Elena Yanakieva, Philipp Bird, Annette Bieniusa:
  A Study of Semantics for CRDT-based Collaborative Spreadsheets. PaPoC@EuroSys 2023: 37-43
• 
  Elisa Gonzalez Boix, Pierre Sutra:
  Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023. ACM 2023 [contents]
• 2022
• 
  Rebecca Bilbro, Benjamin Bengfort, Pete Keleher:
  Bilateral anti-entropy for eventual consistency. PaPoC@EuroSys 2022: 53-59
• 
  Amos Brocco:
  Melda: a general purpose delta state JSON CRDT. PaPoC@EuroSys 2022: 1-7
• 
  Heidi Howard, Richard Mortier:
  Relaxed Paxos: quorum intersection revisited (again). PaPoC@EuroSys 2022: 16-23
• 
  Martin Kleppmann:
  Making CRDTs Byzantine fault tolerant. PaPoC@EuroSys 2022: 8-15
• 
  Pierre-Antoine Rault, Claudia-Lavinia Ignat, Olivier Perrin:
  Distributed access control for collaborative applications using CRDTs. PaPoC@EuroSys 2022: 33-38
• 
  Nazmus Saquib, Chandra Krintz, Rich Wolski:
  Ordering operations for generic replicated data types using version trees. PaPoC@EuroSys 2022: 39-46
• 
  Nicholas Schiefer, Geoffrey Litt, Daniel Jackson:
  Merge what you can, fork what you can't: managing data integrity in local-first software. PaPoC@EuroSys 2022: 24-32
• 
  Matthew Weidner, Paulo Sérgio Almeida:
  An oblivious observed-reset embeddable replicated counter. PaPoC@EuroSys 2022: 47-52

skipping 78 more matches