Search dblp for Publications

export results for "toc:db/conf/eurosys/papoc2016.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics