Search

Displaying 4 results.
  1. 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

  2. HoneyPot : a caching protocol for causally consistent data stores
    By : Munteanu, Ionel[UCL] Directed by : Van Roy, Peter[UCL] (2017) Ecole polytechnique de Louvain

  3. 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