Seeing the futures: profiling shared-memory parallel racket. - James Swaine; Burke Fetscher; Vincent St-Amour; Robert Bruce Findler; Matthew Flatt (FHPC@ICFP, 2012)

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. - Burke Fetscher; Koen Claessen; Michal H. Palka; John Hughes 001; Robert Bruce Findler (ESOP, 2015)

POP-PL: a patient-oriented prescription programming language. - Spencer P. Florence; Burke Fetscher; Matthew Flatt; William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold; Robert Bruce Findler; Steven M. Belknap (GPCE, 2015)

Fair enumeration combinators. - Max S. New; Burke Fetscher; Robert Bruce Findler; Jay A. McCarthy (J. Funct. Program., 2017)

A Coq library for internal verification of running-times. - Jay A. McCarthy; Burke Fetscher; Max S. New; Daniel Feltey; Robert Bruce Findler (Sci. Comput. Program., 2018)

POP-PL: A Patient-Oriented Prescription Programming Language. - Spencer P. Florence; Burke Fetscher; Matthew Flatt; William H. Temps; Vincent St-Amour; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold; Robert Bruce Findler; Steven M. Belknap (ACM Trans. Program. Lang. Syst., 2018)