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