- 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.
