This is the MFADT Critical Computation portfolio of Olivier Brückner.