miniAdapton: A Minimal Implementation of Incremental Computation in Scheme. - Dakota Fisher; Matthew A. Hammer; William E. Byrd; Matthew Might (CoRR, 2016)

Source-free Machine-checked Validation of Native Code in Coq. - Kevin W. Hamlen; Dakota Fisher; Gilmore R. Lundquist (FEAST@CCS, 2019)