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)

Abstract Domains of Affine Relations. - Matt Elder; Junghee Lim; Tushar Sharma 003; Tycho Andersen; Thomas W. Reps (ACM Trans. Program. Lang. Syst., 2014)