Search

Pages

1. Lasp on Grisp : implementation and evaluation of a general purpose edge computing system for Internet of Things

   By : Carlier, Alexandre[UCL] Kopestenski, Igor[UCL] Martens, Dan[UCL] Directed by : Van Roy, Peter[UCL] (2018) Ecole polytechnique de Louvain

2. An Oz implementation using Truffle and Graal

   By : Istasse, Maxime[UCL] Directed by : Van Roy, Peter[UCL] Daloze, Benoit Maudoux, Guillaume[UCL] (2017) Ecole polytechnique de Louvain

3. High availability for RoQ core components

   By : Van Melle, Benjamin[UCL] Directed by : Van Roy, Peter[UCL] D'Erman, Alexandre (2015) Ecole polytechnique de Louvain

4. Intelligent grading of programming exercises in a MOOC

   By : Dumoulin, Mehdi[UCL] Directed by : Van Roy, Peter[UCL] Combéfis, Sébastien[UCL] (2015) Ecole polytechnique de Louvain

5. Development and implementation of a highly automated documentation generator for the Oz programming language

   By : Alexe, Simon[UCL] Frenyo, Péter[UCL] Directed by : Van Roy, Peter[UCL] (2019) Ecole polytechnique de Louvain

6. Hybrid causality : towards a model between potential and explicit causality

   By : Dagnely, Vincent[UCL] Directed by : Van Roy, Peter[UCL] Bravo, Manuel[UCL] (2017) Ecole polytechnique de Louvain

7. HoneyPot : a caching protocol for causally consistent data stores

   By : Munteanu, Ionel[UCL] Directed by : Van Roy, Peter[UCL] (2017) Ecole polytechnique de Louvain

8. A formal proof for Speculative Snapshot Isolation

   By : d'Oreye de Lantremange, Sébastien[UCL] Directed by : Van Roy, Peter[UCL] (2017) Ecole polytechnique de Louvain

9. Visualizing and controlling convergence in Lasp program execution

   By : Creupelandt, Grégory[UCL] Directed by : Van Roy, Peter[UCL] (2021) Ecole polytechnique de Louvain

10. The StreamEdge application for stream processing on an Internet of Things network

    By : Popeler, Antoine[UCL] Directed by : Van Roy, Peter[UCL] (2021) Ecole polytechnique de Louvain

Pages