Projects

Internship Projects

2020

• Garbage collection of a decentralized data store: Romain Liautaud, (report).

2015

• Encryption backends for Irmin: Mounir Nasr Allah, (project page), (subject).

• Semantics of Mergeable Data-Structures: Guillain Potron, (subject).

2014

• Mergeable Persistent Data-structures: Benjamin Farinier, (paper).

• Efficient Synchronisation of Persistent DAGs: Matthieu Journault, (report).