"Energy-efficient localised rollback after failures via data flow analysis."

Kiril Dichev, Kirk W. Cameron, Dimitrios S. Nikolopoulos (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics