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)

View-Augmented Abstractions. - Matt Elder; Denis Gopan; Thomas W. Reps (NSAD@SAS, 2010)

Bilateral Algorithms for Symbolic Abstraction. - Aditya V. Thakur; Matt Elder; Thomas W. Reps (SAS, 2012)

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