Section: Highlights of the Year

Highlights of the Year

  • Garbage collection for big data on large-memory NUMA machines. We developed NumaGiC, a high-throughput garbage collector for big-data algorithms running on large-memory NUMA machines. This result, a collaboration with the Whisper team, has been presented at ASPLOS 2015 [49] .

  • Explicit consistency. We propose an alternative approach to the strong-vs.-weak consistency conundrum, explicit consistency. This result has been presented at EuroSys 2015 [80] . We have also developed a new sound logic for proving the correctness of a distributed database under concurrent updates. This result is published at POPL 2016 [50] .

  • The weakest failure detector of implement eventual consistency. We found the weakest failure detector to implement an eventually consistent replicated service. This theoretical result has been presented at PODC 2015 [46] .


Gauthier Voron obtained best paper award at system track of Compas'2015.

Best Paper Award:
V. Gauthier, G. Thomas, P. Sens, V. Quema.

Optimisation mémoire dans une architecture NUMA : comparaison des gains entre natif et virtualisé, in: Conférence en Parallélisme, Architecture et Système, (COMPAS'15), Lille, France, 2015.