1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.DC2016
Dynamic Path Contraction for Distributed, Dynamic Dataflow Languages
Borja Arnau de Régil Basáñez, Christopher S. Meiklejohn
We present a work in progress report on applying deforestation to distributed, dynamic dataflow programming models. We propose a novel algorithm, dynamic path contraction, that app…
cs.DC2016★ 1 cited
Worlds of Events: Deduction with Partial Knowledge about Causality
Seyed Hossein Haeri, Peter Van Roy, Carlos Baquero +1
Interactions between internet users are mediated by their devices and the common support infrastructure in data centres. Keeping track of causality amongst actions that take place…
cs.DC2014★ 1 cited
Vector Clocks in Coq: An Experience Report
Christopher Meiklejohn
This report documents the process of implementing vector clocks in the Coq proof assistant for extraction and use in the distributed Dynamo-inspired data store, Riak. In this repor…