CARE, the comprehensive archiver for reproducible execution. - Yves Janin; Cédric Vincent; Rémi Duraffort (TRUST@PLDI, 2014)