Directed Proof Generation for Machine Code. - Aditya V. Thakur; Junghee Lim; Akash Lal; Amanda Burton; Evan Driscoll; Matt Elder; Tycho Andersen; Thomas W. Reps (CAV, 2010)

Checking conformance of a producer and a consumer. - Evan Driscoll; Amanda Burton; Thomas W. Reps (SIGSOFT FSE, 2011)

Learning Long-Term Crop Management Strategies with CyclesGym. - Matteo Turchetta; Luca Corinzia; Scott Sussex; Amanda Burton; Juan Herrera; Ioannis N. Athanasiadis; Joachim M. Buhmann; Andreas Krause 001 (NeurIPS, 2022)