Wednesday, February 03, 2016

[Links of the day] 03/02/2016: Verifying distributed system and technical progress prediction

  • Predictability of technological progress : the authors present a technique that allows to make forecasts for any given technology. In layman terms, it can to a certain extend determine if the diffusion speed of a technology and hence its success. 
  • Psync : really nice DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds. It allows to create verifiable code of distributed system straight from scala . [morning paper summary]
  • The Verification of a Distributed System : provide with an overview of most commonly used techniques for distributed system verification out there.