Reading club on Reactive Programming

Image credit: Unsplash

Reading club on Reactive Programming

Taken within iMinds-Distrinet, led by the Network Embedded System's group

This page summarises our bi-weekly meetings to discuss papers related to programming languages that have the potential to be useful to us - the Network Embedded System's group.
Members: Danny, José (main organiser), Christophe, Wilfried @ Distrinet.


  • Synchronous and reactive C implementations
    Focus on low-level and safety-critical systems; refers to Reactive C, Synchronous C, PRET, and SCC, etc.
    (slides) - Jan Tobias, 13 May 15.
  • Actors à la Akka
    Introduction to the Actor Model and Akka as a modern implementation of it.
    (akka website) (slides) - Christophe VG, 23 Apr 15.
  • Distributed REScala: an update algorithm for distributed reactive programming
    (paper) (followup-paper) (slides) - José, 1 Apr 2015.
  • Deprecating the Observer Pattern with Scala.React
    Ingo Maier, Tiark Rompf, and Martin Odersky, 2010
    (paper) (slides) - Christophe VG, 18 Mar 15.
  • Refraction: a reactive approach for sharing meta-data.
    (paper) - Wilfried, 4 Mar 15.
  • We have a DREAM: distributed reactive programming with consistency guarantees.
    DEBS 2014
    (bib) (paper) (slides) - Wilfried, 18 Feb 15.
  • An overview of Functional Reactive Programming
    (+ previous and ongoing work).
    (paper) (slides) (code) - Bob, 4 Feb 2015
  • A survey on reactive programming.
    ACM Comput. Surv. 2013
    (bib) (paper) (slides) - José, 21 Feb 2015.

Other considered papers

  • [Cza13] Evan Czaplicki and Stephen Chong. 2013. Asynchronous Functional Reactive Programming for GUIs. Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 411–422, June 2013.
  • [Mei10] Meijer, E., Reactive extensions (Rx): curing your asynchronous programming blues, In: ACM SIGPLAN Commercial Users of Functional Programming, p. 11, ACM, October 2010.
  • [Car10] Andoni L. Carreton, Stijn Mostinckx, Tom Van Cutsem, and Wolfgang De Meuter, Loosely-coupled distributed reactive programming in mobile ad hoc networks. In: Proceedings of the 48th International Conference on Objects, Models, Components, Patterns (TOOLS’10) Springer, 41–60, 2010 - (download)
  • Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey - November 2012 - P: Safe Asynchronous Event-Driven Programming - (download) (referred to by Prof. Piessens with respect to state of the art in event-driven programming)
  • Geoffrey Mainland Greg Morrisett Matt Welsh - September 2008 - Flask: Staged Functional Programming for Sensor Networks - (download)
  • Frédéroc Boussinot - Reactive C: An Extension of C to Program Reactive Systems - april 1991 - (download) (project website)
José Proença
José Proença
Assistant Professor

José Proença is an Assistant Professor at Faculty of Science of the University of Porto, and a researcher at the Research Center in Real-Time & Embedded Computing Systems, ISEP, in Portugal. His core research targets coordination aspects and formal methods in the context of Cyber-Physical Systems. He is actively involved in a NextGenerationEU project and in 1 FCT project. He currently belongs to the steering committee of 2 international conferences in fundamental computer science, he chaired the program committee of 6 international research venues with edited proceedings, edited 2 journal volumes, and was the member of 19 program-committees of international venues.