Mike Fagan Alan Carle Reducing reverse-mode memory requirements by using profile-driven checkpointing. 1380-1390 2005 21 Future Generation Comp. Syst. 8 http://dx.doi.org/10.1016/j.future.2004.11.005 db/journals/fgcs/fgcs21.html#FaganC05