Christopher Meiklejohn

Xiangfeng Zhu

Proc. VLDB Endow., 2022

Collabs: Composable Collaborative Data Structures.

[BibT_eX]

[DOI]

CoRR, 2022

Distributed Execution Indexing.

[BibT_eX]

[DOI]

Rohan Padhye

CoRR, 2022

Method overloading the circuit.

[BibT_eX]

[DOI]

Proceedings of the 13th Symposium on Cloud Computing, SoCC 2022, 2022

2021

Durable functions: semantics for stateful serverless.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Serverless Workflows with Durable Functions and Netherite.

[BibT_eX]

[DOI]

CoRR, 2021

Service-Level Fault Injection Testing.

[BibT_eX]

[DOI]

Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020

A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2020

Composing and decomposing op-based CRDTs with semidirect products.

[BibT_eX]

[DOI]

Matthew Weidner

Proc. ACM Program. Lang., 2020

Composing and decomposing op-based CRDTs with semidirect products: (summary).

[BibT_eX]

[DOI]

Matthew Weidner

Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

2019

PARTISAN: Scaling the Distributed Actor Runtime.

[BibT_eX]

[DOI]

Peter Alvaro

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

2018

Towards A Systems Approach To Distributed Programming.

[BibT_eX]

[DOI]

CoRR, 2018

Partisan: Enabling Cloud-Scale Erlang Applications.

[BibT_eX]

[DOI]

CoRR, 2018

Just-Right Consistency: reconciling availability and safety.

[BibT_eX]

[DOI]

CoRR, 2018

Partisan: Enabling Real-World Protocol Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2018 Workshop on Advanced Tools, 2018

Towards a Solution to the Red Wedding Problem.

[BibT_eX]

[DOI]

Zeeshan Lakhani

Proceedings of the USENIX Workshop on Hot Topics in Edge Computing, 2018

2017

A Certain Tendency Of The Database Community.

[BibT_eX]

[DOI]

Proceedings of the Companion to the first International Conference on the Art, 2017

Practical evaluation of the Lasp programming model at large scale: an experience report.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

Loquat: A framework for large-scale actor communication on edge networks.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

On the Design of Distributed Programming Models.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, 2017

2016

Worlds of Events: Deduction with Partial Knowledge about Causality.

[BibT_eX]

[DOI]

Seyed H. Haeri (Hossein)

Carlos Baquero

Borja Arnau de Régil Basáñez

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Dynamic Path Contraction for Distributed, Dynamic Dataflow Languages.

[BibT_eX]

[DOI]

CoRR, 2016

Towards property-based consistency verification.

[BibT_eX]

[DOI]

Paolo Viotti

Marko Vukolic

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Declarative, sliding window aggregations for computations at the edge.

[BibT_eX]

[DOI]

Seyed H. Haeri

Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

2015

Declarative, Secure, Convergent Edge Computation.

[BibT_eX]

[DOI]

CoRR, 2015

Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems Workshop, 2015

Lasp: a language for distributed, coordination-free programming.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Lasp: a language for distributed, eventually consistent computations with CRDTs.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

The implementation and use of a generic dataflow behaviour in Erlang.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

2014

Vector Clocks in Coq: An Experience Report.

[BibT_eX]

[DOI]

CoRR, 2014

Augmented inverted indexes to track causality in eventually consistent data stores.

[BibT_eX]

[DOI]

Proceedings of the Middleware '14 Posters & Demos Session, 2014

On the composability of the Riak DT map: expanding from embedded to multi-key structures.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

Riak DT map: a composable, convergent replicated dictionary.

[BibT_eX]

[DOI]

Russell Brown

Sean Cribbs

Sam Elliott

Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

Derflow: distributed deterministic dataflow programming for erlang.

[BibT_eX]

[DOI]

Manuel Bravo

Zhongmiao Li

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Riak PG: distributed process groups on dynamo-style distributed storage.

[BibT_eX]

[DOI]