Programming Languages

PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms

~ Adrian Colyer ~ 1 Comment
PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms - Drăgoi et al. 2016 Last month we looked at the RAMCloud team's design pattern for building distributed, concurrent, fault-tolerant modules. Today's paper goes one step beyond a pattern, and introduces a domain-specific language called PSync with the goal of unifying the modeling, programming, and verification ... Continue Reading

A Survey on Reactive Programming

~ Adrian Colyer ~ 6 Comments
A Survey on Reactive Programming - Bainomugisha et al. 2012 Update: fixed broken link to Fran paper, thanks to Josef B for pointing it out. Today’s applications are increasingly becoming highly interactive, driven by all sorts of events originating from within the applications and their outside environment. Such event-driven applications maintain continuous interaction with their ... Continue Reading

Generative Communication in Linda

~ Adrian Colyer ~ 2 Comments
Generative Communication in Linda - Gelernter 1985 This is the second of five papers selected by Peter Alvaro as part of his 'Desert Island papers' nominations. Generative communication is the basis of a new distributed programming language called Linda... Where most distributed languages are partially distributed in space and nondistributed in time, Linda is fully ... Continue Reading