Séminaire invité : Peter Van Roy (Université Catholique de Louvain)

L’équipe TASC du LS2N est heureuse d’accueillir le professeur Peter Van Roy, de l’Université Catholique de Louvain (Belgique).

Ce dernier animera un séminaire en anglais relatif au système de programmation Lasp : « Lasp: Elements of a programming language for edge computing »

vendredi 8 mars 2019 à 9h, dans la salle 3, au RDC du bâtiment 11 du LS2N, sur le site de la Faculté des Sciences et Techniques de Nantes (arrêt de tram : Michelet Science).

Voir sa bio.

Abstract: The Internet is turning inside out: the edge (e.g., mobile networks and Internet of Things) is growing exponentially and the center (data centers) is stable. In a few years, most of the Internet will be at the edge. This poses the question: how do we develop applications to run on edge networks? These networks are highly dynamic with unreliable nodes and intermittent connectivity. In our approach, we consider that these properties are inherent and that edge networks will always be unreliable. Our approach combines convergent computation with hybrid gossip. Convergent computation implements consistent replicated data on unreliable distributed systems. It starts with convergent data structures (CRDTs: Conflict-Free Replicated Data Types) and builds applications by composing them. Hybrid gossip algorithms, such as Plumtree and HyParView, provide a communication layer that maintains connectivity even when 70% or more of nodes fail. The result is the Lasp language and system. Lasp looks to the programmer like a combination of streaming dataflow and functional programming. In this talk, we explain the problems of edge computing and we present Lasp as a first step towards solving them. We give the semantics of Lasp in Sebastien Burckhardt’s abstraction execution formalism. Lasp is so far implemented as a library in Erlang, but eventually it will become a standalone language. We show that the functional approach is well-adapted to edge networks. We have only scratched the surface of this programming style, and we give an overview of the challenges that remain.

***********

The TASC team of the LS2N lab is honored to welcome Professor Peter Van Roy (Université Catholique de Louvain, Belgium) who will present his research in English on « Lasp: Elements of a programming language for edge computing« 

Friday, 8 of March at 9 am.
Room 3, building 11, FST site (Michelet Science tram stop)