8 citations · 10 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…