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.

Meetings

  • 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
    OOPSLA’14.
    (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.
    CBSE'15.
    (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
Senior Assistant Researcher

José Proença is an assistant researcher and invited professor at Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, working in the Research Center in Real-Time & Embedded Computing Systems, investigating mainly coordination aspects and formal methods in the context of Cyber-Physical Systems. He is actively involved in a H2020 project and in 2 FCT projects, in one of which as coordinator. He currently belongs to the steering committee of 2 international conferences in fundamental computer science, he chaired the program committee of 5 international research venues with edited proceedings, edited 2 journal volumes, and was the member of 16 program-committees of international venues.