BibTeX
@TECHREPORT{
         Siskind2016BCf,
       author = "Jeffrey Mark Siskind and Barak A. Pearlmutter",
       title = "Binomial Checkpointing for Arbitrary Programs with No User Annotation",
       note = "Extended abstract presented at the AD 2016 Conference, Oxford UK",
       year = "2016",
       month = "sep",
       number = "arXiv:1611.03410",
       ad_tools = "lambda calculus",
       ad_theotech = "Checkpointing, Implementation Strategies"
}