Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/papoc:"
download as .bib file
@inproceedings{DBLP:conf/papoc/ChuLCHH24,
author = {David C. Y. Chu and
Chris Liu and
Natacha Crooks and
Joseph M. Hellerstein and
Heidi Howard},
title = {Bigger, not Badder: Safely Scaling {BFT} Protocols},
booktitle = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
pages = {30--36},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3642976.3653033},
doi = {10.1145/3642976.3653033},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papoc/ChuLCHH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papoc/DaK24,
author = {Liangrun Da and
Martin Kleppmann},
title = {Extending {JSON} CRDTs with Move Operations},
booktitle = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
pages = {8--14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3642976.3653030},
doi = {10.1145/3642976.3653030},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papoc/DaK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papoc/JacobH24,
author = {Florian Jacob and
Hannes Hartenstein},
title = {Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated
Data Types},
booktitle = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
pages = {37--43},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3642976.3653034},
doi = {10.1145/3642976.3653034},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papoc/JacobH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papoc/JensenHKM24,
author = {Chris Jensen and
Heidi Howard and
Antonios Katsarakis and
Richard Mortier},
title = {Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast
and Simple},
booktitle = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
pages = {44--57},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3642976.3653035},
doi = {10.1145/3642976.3653035},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papoc/JensenHKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papoc/PowerACMH24,
author = {Conor Power and
Saikrishna Achalla and
Ryan Cottone and
Nathaniel Macasaet and
Joseph M. Hellerstein},
title = {Wrapping Rings in Lattices: An Algebraic Symbiosis of Incremental
View Maintenance and Eventual Consistency},
booktitle = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
pages = {15--22},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3642976.3653031},
doi = {10.1145/3642976.3653031},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papoc/PowerACMH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papoc/SchiebelbeinHB024,
author = {Edgard Schiebelbein and
Saalik Hatia and
Annette Bieniusa and
Carla Ferreira and
Gustavo Petri and
Marc Shapiro},
title = {Models for Storage in Database Backends},
booktitle = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
pages = {58--66},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3642976.3653036},
doi = {10.1145/3642976.3653036},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papoc/SchiebelbeinHB024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papoc/StewenK24,
author = {Leo Stewen and
Martin Kleppmann},
title = {Undo and Redo Support for Replicated Registers},
booktitle = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
pages = {1--7},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3642976.3653029},
doi = {10.1145/3642976.3653029},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papoc/StewenK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papoc/Zhang024,
author = {Jian Zhang and
Cheng Tan},
title = {Simplifying Snapshot Isolation: {A} New Definition, Equivalence, and
Efficient Checking},
booktitle = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
pages = {23--29},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3642976.3653032},
doi = {10.1145/3642976.3653032},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papoc/Zhang024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/papoc/2024,
title = {Proceedings of the 11th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3642976},
doi = {10.1145/3642976},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papoc/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BauwensPB23,
author = {Jim Bauwens and
Kevin De Porre and
Elisa Gonzalez Boix},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {[Short paper] Towards improved collaborative text editing CRDTs by
using Natural Language Processing},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {51--55},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591330},
doi = {10.1145/3578358.3591330},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/BauwensPB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/FernandesB23,
author = {Pedro Henrique Fernandes and
Carlos Baquero},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {Probabilistic Causal Contexts for Scalable CRDTs},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {1--8},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591331},
doi = {10.1145/3578358.3591331},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/FernandesB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/GuarnieriC23,
author = {Joshua Guarnieri and
Aleksey Charapko},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {Linearizable Low-latency Reads at the Edge},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {77--83},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591327},
doi = {10.1145/3578358.3591327},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/GuarnieriC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/JacobH23,
author = {Florian Jacob and
Hannes Hartenstein},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated
Data Types},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {63--69},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591333},
doi = {10.1145/3578358.3591333},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/JacobH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/JefferyM23,
author = {Andrew Jeffery and
Richard Mortier},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {{AMC:} Towards Trustworthy and Explorable {CRDT} Applications with
the Automerge Model Checker},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {44--50},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591326},
doi = {10.1145/3578358.3591326},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/JefferyM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LawniczakAD23,
author = {Laura Lawniczak and
Marco Ammon and
Tobias Distler},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {Generic Checkpointing Support for Stream-based State-Machine Replication},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {23--29},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591329},
doi = {10.1145/3578358.3591329},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/LawniczakAD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ManeLR23,
author = {Sushant Mane and
Fangmin Lyu and
Benjamin C. Reed},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {Verify, And Then Trust: Data Inconsistency Detection in ZooKeeper},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {16--22},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591328},
doi = {10.1145/3578358.3591328},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/ManeLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/NeamtuNR23,
author = {Natalie Neamtu and
Haobin Ni and
Robbert van Renesse},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {Trees and Turtles: Modular Abstractions for State Machine Replication
Protocols},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {9--15},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3592148},
doi = {10.1145/3578358.3592148},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/NeamtuNR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SantosS0P23,
author = {Nuno M. Santos and
Lu{\'{\i}}s M. Silva and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {Data Management for mobile applications dependent on geo-located data},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {70--76},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591334},
doi = {10.1145/3578358.3591334},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/SantosS0P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SoaresR23,
author = {Jo{\~{a}}o Rafael Pinto Soares and
Lu{\'{\i}}s E. T. Rodrigues},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {Performance Trade-offs in Transactional Systems},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {30--36},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591325},
doi = {10.1145/3578358.3591325},
timestamp = {Thu, 05 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/SoaresR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/WeidnerPGM23,
author = {Matthew Weidner and
Ria Pradeep and
Benito Geordie and
Heather Miller},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {For-Each Operations in Collaborative Apps},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {56--62},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591323},
doi = {10.1145/3578358.3591323},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/WeidnerPGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/YanakievaBB23,
author = {Elena Yanakieva and
Philipp Bird and
Annette Bieniusa},
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {A Study of Semantics for CRDT-based Collaborative Spreadsheets},
booktitle = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
pages = {37--43},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358.3591324},
doi = {10.1145/3578358.3591324},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/YanakievaBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2023papoc,
editor = {Elisa Gonzalez Boix and
Pierre Sutra},
title = {Proceedings of the 10th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578358?af=R},
doi = {10.1145/3578358?AF=R},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/2023papoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BilbroBK22,
author = {Rebecca Bilbro and
Benjamin Bengfort and
Pete Keleher},
editor = {Adriana Szekeres and
K. C. Sivaramakrishnan},
title = {Bilateral anti-entropy for eventual consistency},
booktitle = {PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles
and Practice of Consistency for Distributed Data, Rennes, France,
April 5 - 8, 2022},
pages = {53--59},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517209.3524083},
doi = {10.1145/3517209.3524083},
timestamp = {Wed, 30 Mar 2022 16:27:09 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/BilbroBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Brocco22,
author = {Amos Brocco},
editor = {Adriana Szekeres and
K. C. Sivaramakrishnan},
title = {Melda: a general purpose delta state {JSON} {CRDT}},
booktitle = {PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles
and Practice of Consistency for Distributed Data, Rennes, France,
April 5 - 8, 2022},
pages = {1--7},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517209.3524039},
doi = {10.1145/3517209.3524039},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/Brocco22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HowardM22,
author = {Heidi Howard and
Richard Mortier},
editor = {Adriana Szekeres and
K. C. Sivaramakrishnan},
title = {Relaxed Paxos: quorum intersection revisited (again)},
booktitle = {PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles
and Practice of Consistency for Distributed Data, Rennes, France,
April 5 - 8, 2022},
pages = {16--23},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517209.3524040},
doi = {10.1145/3517209.3524040},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/HowardM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Kleppmann22,
author = {Martin Kleppmann},
editor = {Adriana Szekeres and
K. C. Sivaramakrishnan},
title = {Making CRDTs Byzantine fault tolerant},
booktitle = {PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles
and Practice of Consistency for Distributed Data, Rennes, France,
April 5 - 8, 2022},
pages = {8--15},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517209.3524042},
doi = {10.1145/3517209.3524042},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/Kleppmann22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/RaultI022,
author = {Pierre{-}Antoine Rault and
Claudia{-}Lavinia Ignat and
Olivier Perrin},
editor = {Adriana Szekeres and
K. C. Sivaramakrishnan},
title = {Distributed access control for collaborative applications using CRDTs},
booktitle = {PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles
and Practice of Consistency for Distributed Data, Rennes, France,
April 5 - 8, 2022},
pages = {33--38},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517209.3524826},
doi = {10.1145/3517209.3524826},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/RaultI022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SaquibKW22,
author = {Nazmus Saquib and
Chandra Krintz and
Rich Wolski},
editor = {Adriana Szekeres and
K. C. Sivaramakrishnan},
title = {Ordering operations for generic replicated data types using version
trees},
booktitle = {PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles
and Practice of Consistency for Distributed Data, Rennes, France,
April 5 - 8, 2022},
pages = {39--46},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517209.3524038},
doi = {10.1145/3517209.3524038},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/SaquibKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SchieferL022,
author = {Nicholas Schiefer and
Geoffrey Litt and
Daniel Jackson},
editor = {Adriana Szekeres and
K. C. Sivaramakrishnan},
title = {Merge what you can, fork what you can't: managing data integrity in
local-first software},
booktitle = {PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles
and Practice of Consistency for Distributed Data, Rennes, France,
April 5 - 8, 2022},
pages = {24--32},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517209.3524041},
doi = {10.1145/3517209.3524041},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/SchieferL022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/WeidnerA22,
author = {Matthew Weidner and
Paulo S{\'{e}}rgio Almeida},
editor = {Adriana Szekeres and
K. C. Sivaramakrishnan},
title = {An oblivious observed-reset embeddable replicated counter},
booktitle = {PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles
and Practice of Consistency for Distributed Data, Rennes, France,
April 5 - 8, 2022},
pages = {47--52},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517209.3524084},
doi = {10.1145/3517209.3524084},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/WeidnerA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2022papoc,
editor = {Adriana Szekeres and
K. C. Sivaramakrishnan},
title = {PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles
and Practice of Consistency for Distributed Data, Rennes, France,
April 5 - 8, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517209},
doi = {10.1145/3517209},
isbn = {978-1-4503-9256-3},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/2022papoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BauwensB21,
author = {Jim Bauwens and
Elisa Gonzalez Boix},
title = {Improving the Reactivity of Pure Operation-Based CRDTs},
booktitle = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865.3457968},
doi = {10.1145/3447865.3457968},
timestamp = {Wed, 21 Apr 2021 10:42:22 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/BauwensB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BraunBE21,
author = {Susanne Braun and
Annette Bieniusa and
Frank Elberzhager},
title = {Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive
Systems},
booktitle = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
pages = {9:1--9:12},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865.3457969},
doi = {10.1145/3447865.3457969},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/BraunBE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/FariaP21,
author = {Nuno Faria and
Jos{\'{e}} Pereira},
title = {Totally-Ordered Prefix Parallel Snapshot Isolation},
booktitle = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865.3457966},
doi = {10.1145/3447865.3457966},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/FariaP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/GavrielatosNF21,
author = {Vasilis Gavrielatos and
Vijay Nagarajan and
Panagiota Fatourou},
title = {Towards the Synthesis of Coherence/Replication Protocols from Consistency
Models via Real-Time Orderings},
booktitle = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
pages = {5:1--5:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865.3457964},
doi = {10.1145/3447865.3457964},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/GavrielatosNF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HsuK21,
author = {Ta{-}Yuan Hsu and
Ajay D. Kshemkalyani},
title = {Convergent Causal Consistency for Social Media Posts},
booktitle = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
pages = {10:1--10:8},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865.3457967},
doi = {10.1145/3447865.3457967},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/HsuK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LittHH21,
author = {Geoffrey Litt and
Peter van Hardenberg and
Orion Henry},
title = {Cambria: Schema Evolution in Distributed Systems with Edit Lenses},
booktitle = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
pages = {8:1--8:9},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865.3457963},
doi = {10.1145/3447865.3457963},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/LittHH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/RinbergSKLST21,
author = {Arik Rinberg and
Tomer Solomon and
Guy Khazma and
Gal Lushi and
Roee Shlomo and
Paula Ta{-}Shma},
title = {Array CRDTs Using Delta-Mutations},
booktitle = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
pages = {3:1--3:3},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865.3457971},
doi = {10.1145/3447865.3457971},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/RinbergSKLST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SauwensJLJ21,
author = {Martijn Sauwens and
Kristof Jannes and
Bert Lagaisse and
Wouter Joosen},
title = {{SCEW:} Programmable BFT-Consensus with Smart Contracts for Client-Centric
{P2P} Web Applications},
booktitle = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865.3457965},
doi = {10.1145/3447865.3457965},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/SauwensJLJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/WhittakerCHHS21,
author = {Michael J. Whittaker and
Aleksey Charapko and
Joseph M. Hellerstein and
Heidi Howard and
Ion Stoica},
title = {Read-Write Quorum Systems Made Practical},
booktitle = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
pages = {7:1--7:8},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865.3457962},
doi = {10.1145/3447865.3457962},
timestamp = {Fri, 25 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/WhittakerCHHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/YanakievaYRB21,
author = {Elena Yanakieva and
Michael Youssef and
Ahmad Hussein Rezae and
Annette Bieniusa},
title = {Access Control Conflict Resolution in Distributed File Systems using
CRDTs},
booktitle = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
pages = {1:1--1:3},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865.3457970},
doi = {10.1145/3447865.3457970},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/YanakievaYRB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2021papoc,
title = {PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency
for Distributed Data, Online Event, United Kingdom, April 26, 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447865},
doi = {10.1145/3447865},
isbn = {978-1-4503-8338-7},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/2021papoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BauwensB20,
author = {Jim Bauwens and
Elisa Gonzalez Boix},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {Flec: a versatile programming framework for eventually consistent
systems},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {12:1--12:4},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393685},
doi = {10.1145/3380787.3393685},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/BauwensB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/EischerSD20,
author = {Michael Eischer and
Benedikt Stra{\ss}ner and
Tobias Distler},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {Low-latency geo-replicated state machines with guaranteed writes},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {13:1--13:9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393686},
doi = {10.1145/3380787.3393686},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/EischerSD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/GrishchenkoP20,
author = {Victor Grishchenko and
Mikhail A. Patrakeev},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {Chronofold: a data structure for versioned text},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {7:1--7:9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393680},
doi = {10.1145/3380787.3393680},
timestamp = {Thu, 16 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/GrishchenkoP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/GroschKWB20,
author = {Pascal Grosch and
Roman Krafft and
Marcel W{\"{o}}lki and
Annette Bieniusa},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {AutoCouch: a {JSON} {CRDT} framework},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393679},
doi = {10.1145/3380787.3393679},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/GroschKWB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HardenbergK20,
author = {Peter van Hardenberg and
Martin Kleppmann},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {PushPin: towards production-quality peer-to-peer collaboration},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {10:1--10:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393683},
doi = {10.1145/3380787.3393683},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/HardenbergK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HowardM20,
author = {Heidi Howard and
Richard Mortier},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {Paxos vs Raft: have we reached consensus on distributed consensus?},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {8:1--8:9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393681},
doi = {10.1145/3380787.3393681},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/HowardM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/KakwaniN20,
author = {Diptanshu Kakwani and
Rupesh Nasre},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {Orion: time estimated causally consistent key-value store},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {3:1--3:6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393676},
doi = {10.1145/3380787.3393676},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/KakwaniN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Kleppmann20,
author = {Martin Kleppmann},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {Moving elements in list CRDTs},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393677},
doi = {10.1145/3380787.3393677},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/Kleppmann20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LindeF0P20,
author = {Albert van der Linde and
Pedro Fouto and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {The intrinsic cost of causal consistency},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393674},
doi = {10.1145/3380787.3393674},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/LindeF0P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LindeS0P20,
author = {Albert van der Linde and
Diogo Serra and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {On combining fault tolerance and partial replication with causal consistency},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {11:1--11:5},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393684},
doi = {10.1145/3380787.3393684},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/LindeS0P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/NicolasO020,
author = {Matthieu Nicolas and
G{\'{e}}rald Oster and
Olivier Perrin},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {Efficient renaming in sequence CRDTs},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {9:1--9:8},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393682},
doi = {10.1145/3380787.3393682},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/NicolasO020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/WaudbyEWM20,
author = {Jack Waudby and
Paul D. Ezhilchelvan and
Jim Webber and
Isi Mitrani},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {Preserving reciprocal consistency in distributed graph databases},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393675},
doi = {10.1145/3380787.3393675},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/WaudbyEWM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/WeidnerMM20,
author = {Matthew Weidner and
Heather Miller and
Christopher Meiklejohn},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {Composing and decomposing op-based CRDTs with semidirect products:
(summary)},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {14:1--14:2},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393687},
doi = {10.1145/3380787.3393687},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/WeidnerMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/YuR20,
author = {Weihai Yu and
Sigbj{\o}rn Rostad},
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {A low-cost set {CRDT} based on causal lengths},
booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787.3393678},
doi = {10.1145/3380787.3393678},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/YuR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2020papoc,
editor = {Alan D. Fekete and
Martin Kleppmann},
title = {7th Workshop on Principles and Practice of Consistency for Distributed
Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3380787},
doi = {10.1145/3380787},
isbn = {978-1-4503-7524-5},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/2020papoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/DeyerlD19,
author = {Christian Deyerl and
Tobias Distler},
title = {In Search of a Scalable Raft-based Replication Architecture},
booktitle = {Proceedings of the 6th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March
25-28, 2019},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3301419.3323968},
doi = {10.1145/3301419.3323968},
timestamp = {Wed, 29 Apr 2020 14:11:46 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/DeyerlD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Ferreira19,
author = {Carla Ferreira},
title = {Techniques for safe and highly available cloud applications},
booktitle = {Proceedings of the 6th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March
25-28, 2019},
pages = {1:1--1:2},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3301419.3323967},
doi = {10.1145/3301419.3323967},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/Ferreira19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/KleppmannGMB19,
author = {Martin Kleppmann and
Victor B. F. Gomes and
Dominic P. Mulligan and
Alastair R. Beresford},
title = {Interleaving anomalies in collaborative text editors},
booktitle = {Proceedings of the 6th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March
25-28, 2019},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3301419.3323972},
doi = {10.1145/3301419.3323972},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/KleppmannGMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LeijnseAB19,
author = {Adriaan Leijnse and
Paulo S{\'{e}}rgio Almeida and
Carlos Baquero},
title = {Higher-Order Patterns in Replicated Data Types},
booktitle = {Proceedings of the 6th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March
25-28, 2019},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3301419.3323971},
doi = {10.1145/3301419.3323971},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/LeijnseAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LimaMT19,
author = {Diogo Lima and
Hugo Miranda and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Support of Strong Consistency on Fog Applications},
booktitle = {Proceedings of the 6th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March
25-28, 2019},
pages = {3:1--3:6},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3301419.3323969},
doi = {10.1145/3301419.3323969},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/LimaMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/MealhaPG019,
author = {David Mealha and
Nuno M. Pregui{\c{c}}a and
Maria Cecilia Gomes and
Jo{\~{a}}o Leit{\~{a}}o},
title = {Data Replication on the Cloud/Edge},
booktitle = {Proceedings of the 6th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March
25-28, 2019},
pages = {7:1--7:7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3301419.3323973},
doi = {10.1145/3301419.3323973},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/MealhaPG019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/NairP019,
author = {Sreeja S. Nair and
Gustavo Petri and
Marc Shapiro},
title = {Invariant Safety for Distributed Applications},
booktitle = {Proceedings of the 6th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March
25-28, 2019},
pages = {4:1--4:7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3301419.3323970},
doi = {10.1145/3301419.3323970},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/NairP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/PorreMTSMB19,
author = {Kevin De Porre and
Florian Myter and
Christophe De Troyer and
Christophe Scholliers and
Wolfgang De Meuter and
Elisa Gonzalez Boix},
title = {A Generic Replicated Data Type for Strong Eventual Consistency},
booktitle = {Proceedings of the 6th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March
25-28, 2019},
pages = {8:1--8:3},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3301419.3323974},
doi = {10.1145/3301419.3323974},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/PorreMTSMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2019papoc,
title = {Proceedings of the 6th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March
25-28, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3301419},
doi = {10.1145/3301419},
isbn = {978-1-4503-6276-4},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/2019papoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/0001BZP18,
author = {Marc Shapiro and
Annette Bieniusa and
Peter Zeller and
Gustavo Petri},
editor = {Sebastian Burckhardt and
Marko Vukolic},
title = {Ensuring referential integrity under causal consistency},
booktitle = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
pages = {1:1--1:5},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194261.3194262},
doi = {10.1145/3194261.3194262},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/0001BZP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BauwensMB18,
author = {Jim Bauwens and
Florian Myter and
Elisa Gonzalez Boix},
editor = {Sebastian Burckhardt and
Marko Vukolic},
title = {Constraining the eventual in eventual consistency},
booktitle = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
pages = {2:1--2:3},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194261.3194263},
doi = {10.1145/3194261.3194263},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/BauwensMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BravoR18,
author = {Manuel Bravo and
Lu{\'{\i}}s E. T. Rodrigues},
editor = {Sebastian Burckhardt and
Marko Vukolic},
title = {Towards affordable externally consistent guarantees for geo-replicated
systems},
booktitle = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
pages = {3:1--3:4},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194261.3194264},
doi = {10.1145/3194261.3194264},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BravoR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/MichaelP18,
author = {Ellis Michael and
Dan R. K. Ports},
editor = {Sebastian Burckhardt and
Marko Vukolic},
title = {Towards causal datacenter networks},
booktitle = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
pages = {8:1--8:4},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194261.3194269},
doi = {10.1145/3194261.3194269},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/MichaelP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/RahmaniKJ18,
author = {Kia Rahmani and
Gowtham Kaki and
Suresh Jagannathan},
editor = {Sebastian Burckhardt and
Marko Vukolic},
title = {Fine-grained distributed consistency guarantees with effect orchestration},
booktitle = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
pages = {6:1--6:5},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194261.3194267},
doi = {10.1145/3194261.3194267},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/RahmaniKJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SzekeresZ18,
author = {Adriana Szekeres and
Irene Zhang},
editor = {Sebastian Burckhardt and
Marko Vukolic},
title = {Making consistency more consistent: a unified model for coherence,
consistency and isolation},
booktitle = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
pages = {7:1--7:8},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194261.3194268},
doi = {10.1145/3194261.3194268},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/SzekeresZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Vasilas0K18,
author = {Dimitrios Vasilas and
Marc Shapiro and
Bradley King},
editor = {Sebastian Burckhardt and
Marko Vukolic},
title = {A modular design for geo-distributed querying: work in progress report},
booktitle = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
pages = {4:1--4:4},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194261.3194265},
doi = {10.1145/3194261.3194265},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/Vasilas0K18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2018papoc,
editor = {Sebastian Burckhardt and
Marko Vukolic},
title = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194261},
doi = {10.1145/3194261},
isbn = {978-1-4503-5655-8},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/2018papoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/EnesBA017,
author = {Vitor Enes and
Carlos Baquero and
Paulo S{\'{e}}rgio Almeida and
Jo{\~{a}}o Leit{\~{a}}o},
editor = {Annette Bieniusa and
Alexey Gotsman},
title = {Borrowing an Identity for a Distributed Counter: Work in progress
report},
booktitle = {Proceedings of the 3rd International Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade,
Serbia, April 23 - 26, 2017},
pages = {4:1--4:3},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064889.3064894},
doi = {10.1145/3064889.3064894},
timestamp = {Tue, 06 Nov 2018 16:58:31 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/EnesBA017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/JungnickelO17,
author = {Tim Jungnickel and
Lennart Oldenburg},
editor = {Annette Bieniusa and
Alexey Gotsman},
title = {pluto: The CRDT-Driven {IMAP} Server},
booktitle = {Proceedings of the 3rd International Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade,
Serbia, April 23 - 26, 2017},
pages = {1:1--1:5},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064889.3064891},
doi = {10.1145/3064889.3064891},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/JungnickelO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LoffPBGPR17,
author = {Jo{\~{a}}o Loff and
Daniel Porto and
Carlos Baquero and
Jo{\~{a}}o Garcia and
Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues},
editor = {Annette Bieniusa and
Alexey Gotsman},
title = {Transparent cross-system consistency},
booktitle = {Proceedings of the 3rd International Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade,
Serbia, April 23 - 26, 2017},
pages = {8:1--8:4},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064889.3064898},
doi = {10.1145/3064889.3064898},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/LoffPBGPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/MarcelinoBF17,
author = {Gon{\c{c}}alo Marcelino and
Valter Balegas and
Carla Ferreira},
editor = {Annette Bieniusa and
Alexey Gotsman},
title = {Bringing Hybrid Consistency Closer to Programmers},
booktitle = {Proceedings of the 3rd International Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade,
Serbia, April 23 - 26, 2017},
pages = {6:1--6:4},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064889.3064896},
doi = {10.1145/3064889.3064896},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/MarcelinoBF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ShokerYB17,
author = {Ali Shoker and
Houssam Yactine and
Carlos Baquero},
editor = {Annette Bieniusa and
Alexey Gotsman},
title = {As Secure as Possible Eventual Consistency: Work in Progress},
booktitle = {Proceedings of the 3rd International Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade,
Serbia, April 23 - 26, 2017},
pages = {5:1--5:5},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064889.3064895},
doi = {10.1145/3064889.3064895},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/ShokerYB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/TomasZBAB0P17,
author = {Gon{\c{c}}alo Tom{\'{a}}s and
Peter Zeller and
Valter Balegas and
Deepthi Devaki Akkoorath and
Annette Bieniusa and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a},
editor = {Annette Bieniusa and
Alexey Gotsman},
title = {FMKe: a Real-World Benchmark for Key-Value Data Stores},
booktitle = {Proceedings of the 3rd International Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade,
Serbia, April 23 - 26, 2017},
pages = {7:1--7:4},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064889.3064897},
doi = {10.1145/3064889.3064897},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/TomasZBAB0P17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/YounesAB17,
author = {Georges Younes and
Paulo S{\'{e}}rgio Almeida and
Carlos Baquero},
editor = {Annette Bieniusa and
Alexey Gotsman},
title = {Compact Resettable Counters through Causal Stability},
booktitle = {Proceedings of the 3rd International Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade,
Serbia, April 23 - 26, 2017},
pages = {2:1--2:3},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064889.3064892},
doi = {10.1145/3064889.3064892},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/YounesAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Zeller17,
author = {Peter Zeller},
editor = {Annette Bieniusa and
Alexey Gotsman},
title = {Testing properties of weakly consistent programs with Repliss},
booktitle = {Proceedings of the 3rd International Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade,
Serbia, April 23 - 26, 2017},
pages = {3:1--3:5},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064889.3064893},
doi = {10.1145/3064889.3064893},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/Zeller17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2017papoc,
editor = {Annette Bieniusa and
Alexey Gotsman},
title = {Proceedings of the 3rd International Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade,
Serbia, April 23 - 26, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064889},
doi = {10.1145/3064889},
isbn = {978-1-4503-4933-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/2017papoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/AkkoorathB16,
author = {Deepthi Devaki Akkoorath and
Annette Bieniusa},
editor = {Peter Alvaro and
Alysson Bessani},
title = {Highly-scalable concurrent objects},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {13:1--13:4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911158},
doi = {10.1145/2911151.2911158},
timestamp = {Tue, 06 Nov 2018 16:58:31 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/AkkoorathB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BalegasDFPR16,
author = {Valter Balegas and
S{\'{e}}rgio Duarte and
Carla Ferreira and
Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues},
editor = {Peter Alvaro and
Alysson Bessani},
title = {Making weak consistency great again},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {7:1--7:3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911167},
doi = {10.1145/2911151.2911167},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BalegasDFPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BaqueroAL16,
author = {Carlos Baquero and
Paulo S{\'{e}}rgio Almeida and
Carl Lerche},
editor = {Peter Alvaro and
Alysson Bessani},
title = {The problem with embedded {CRDT} counters and a solution},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {10:1--10:3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911159},
doi = {10.1145/2911151.2911159},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BaqueroAL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BrownLP16,
author = {Russell Brown and
Zeeshan Lakhani and
Paul Place},
editor = {Peter Alvaro and
Alysson Bessani},
title = {Big(ger) sets: decomposed delta {CRDT} sets in Riak},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {5:1--5:5},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911156},
doi = {10.1145/2911151.2911156},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BrownLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/CoppietersMB16,
author = {Tim Coppieters and
Wolfgang De Meuter and
Sebastian Burckhardt},
editor = {Peter Alvaro and
Alysson Bessani},
title = {Serializable eventual consistency: consistency through object method
replay},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {3:1--3:3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911164},
doi = {10.1145/2911151.2911164},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/CoppietersMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Fritchie16,
author = {Scott Lystig Fritchie},
editor = {Peter Alvaro and
Alysson Bessani},
title = {Coordinating distributed system configuration changes with humming
consensus},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {6:1--6:4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911165},
doi = {10.1145/2911151.2911165},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/Fritchie16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HerbJA16,
author = {Tobias Herb and
Tim Jungnickel and
Christoph Alt},
editor = {Peter Alvaro and
Alysson Bessani},
title = {Weak consistency and stochastic environments: harmonization of replicated
machine learning models},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {8:1--8:3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911161},
doi = {10.1145/2911151.2911161},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/HerbJA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LindeLP16,
author = {Albert van der Linde and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a},
editor = {Peter Alvaro and
Alysson Bessani},
title = {{\(\Delta\)}-CRDTs: making {\(\Delta\)}-CRDTs delta-based},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {12:1--12:4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911163},
doi = {10.1145/2911151.2911163},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/LindeLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/NajafzadehGYFS16,
author = {Mahsa Najafzadeh and
Alexey Gotsman and
Hongseok Yang and
Carla Ferreira and
Marc Shapiro},
editor = {Peter Alvaro and
Alysson Bessani},
title = {The {CISE} tool: proving weakly-consistent applications correct},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {2:1--2:3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911160},
doi = {10.1145/2911151.2911160},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/NajafzadehGYFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/TomsicCS16,
author = {Alejandro Z. Tomsic and
Tyler Crain and
Marc Shapiro},
editor = {Peter Alvaro and
Alysson Bessani},
title = {PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot
isolation},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {4:1--4:4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911166},
doi = {10.1145/2911151.2911166},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/TomsicCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ViottiMV16,
author = {Paolo Viotti and
Christopher Meiklejohn and
Marko Vukolic},
editor = {Peter Alvaro and
Alysson Bessani},
title = {Towards property-based consistency verification},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {1:1--1:4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911162},
doi = {10.1145/2911151.2911162},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/ViottiMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/WeilbachKB16,
author = {Christian Weilbach and
Konrad K{\"{u}}hne and
Annette Bieniusa},
editor = {Peter Alvaro and
Alysson Bessani},
title = {Decoupling conflict resolution with {CDVCS}},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {11:1--11:6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911154},
doi = {10.1145/2911151.2911154},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/WeilbachKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ZawirskiBBPS16,
author = {Marek Zawirski and
Carlos Baquero and
Annette Bieniusa and
Nuno M. Pregui{\c{c}}a and
Marc Shapiro},
editor = {Peter Alvaro and
Alysson Bessani},
title = {Eventually consistent register revisited},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {9:1--9:3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911157},
doi = {10.1145/2911151.2911157},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/ZawirskiBBPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2016papoc,
editor = {Peter Alvaro and
Alysson Bessani},
title = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151},
doi = {10.1145/2911151},
isbn = {978-1-4503-4296-4},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/2016papoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/0001LCPR15,
author = {Cheng Li and
Jo{\~{a}}o Leit{\~{a}}o and
Allen Clement and
Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues},
editor = {Carlos Baquero and
Marco Serafini},
title = {Minimizing coordination in replicated systems},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {8:1--8:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2745955},
doi = {10.1145/2745947.2745955},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/0001LCPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BessaniMO15,
author = {Alysson Neves Bessani and
Ricardo Mendes and
Tiago Oliveira},
editor = {Carlos Baquero and
Marco Serafini},
title = {On the consistency of heterogeneous composite objects},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {9:1--9:2},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2746687},
doi = {10.1145/2745947.2746687},
timestamp = {Mon, 20 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BessaniMO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BravoRRR15,
author = {Manuel Bravo and
Paolo Romano and
Lu{\'{\i}}s E. T. Rodrigues and
Peter Van Roy},
editor = {Carlos Baquero and
Marco Serafini},
title = {Reducing the vulnerability window in distributed transactional protocols},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {10:1--10:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2746688},
doi = {10.1145/2745947.2746688},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BravoRRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/CastineiraB15,
author = {Santiago J. Casti{\~{n}}eira and
Annette Bieniusa},
editor = {Carlos Baquero and
Marco Serafini},
title = {Collaborative offline web applications using conflict-free replicated
data types},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {5:1--5:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2745952},
doi = {10.1145/2745947.2745952},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/CastineiraB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/CrainS15,
author = {Tyler Crain and
Marc Shapiro},
editor = {Carlos Baquero and
Marco Serafini},
title = {Designing a causally consistent protocol for geo-distributed partial
replication},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {6:1--6:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2745953},
doi = {10.1145/2745947.2745953},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/CrainS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HoltZPOC15,
author = {Brandon Holt and
Irene Zhang and
Dan R. K. Ports and
Mark Oskin and
Luis Ceze},
editor = {Carlos Baquero and
Marco Serafini},
title = {Claret: using data types for highly concurrent distributed transactions},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {4:1--4:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2745951},
doi = {10.1145/2745947.2745951},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/HoltZPOC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/MeiklejohnR15,
author = {Christopher Meiklejohn and
Peter Van Roy},
editor = {Carlos Baquero and
Marco Serafini},
title = {Lasp: a language for distributed, eventually consistent computations
with CRDTs},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {7:1--7:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2745954},
doi = {10.1145/2745947.2745954},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/MeiklejohnR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/NavalhoDP15,
author = {David Navalho and
S{\'{e}}rgio Duarte and
Nuno M. Pregui{\c{c}}a},
editor = {Carlos Baquero and
Marco Serafini},
title = {A study of CRDTs that do computations},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {1:1--1:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2745948},
doi = {10.1145/2745947.2745948},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/NavalhoDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SignesB15,
author = {Amadeo Asc{\'{o}} Signes and
Annette Bieniusa},
editor = {Carlos Baquero and
Marco Serafini},
title = {Adaptive strength geo-replication strategy},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {3:1--3:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2745950},
doi = {10.1145/2745947.2745950},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/SignesB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/TomsicCS15,
author = {Alejandro Z. Tomsic and
Tyler Crain and
Marc Shapiro},
editor = {Carlos Baquero and
Marco Serafini},
title = {An empirical perspective on causal consistency},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {2:1--2:3},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2745949},
doi = {10.1145/2745947.2745949},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/TomsicCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2015papoc,
editor = {Carlos Baquero and
Marco Serafini},
title = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947},
doi = {10.1145/2745947},
isbn = {978-1-4503-3537-9},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/2015papoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-08-03 10:20 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
