Blazes: Coordination Analysis for Distributed Programs — mentioned by jamii

Wed, 27 Aug 2014 20:45:38 GMT

> That's /why/ we have our programs and processes divided into boxes http://db.cs.berkeley.edu/papers/cidr11-bloom.pdf - by unboxing distributed systems we can statically predict whether a given program is eventually consistent (http://arxiv.org/abs/1309.3324 - and automatically add coordination protocols where necessary) http://db.cs.berkeley.edu/papers/dbtest12-bloom.pdf - by unboxing distributed systems we can use static analysis to more efficiently explore the space of message interleavings in unit tests https://infosys.uni-saarland.de/projects/octopusdb.php - by unboxing storage…

Paper and discussion history. A mention is not an endorsement.

Blazes: Coordination Analysis for Distributed Programs · HackerPapers discussions

Blazes: Coordination Analysis for Distributed Programs — mentioned by jamii