C/C++ Thread Safety Analysis. - DeLesley Hutchins; Aaron Ballman; Dean Sutherland (SCAM, 2014)

Avoiding Insecure C++ - How to Avoid Common C++ Security Vulnerabilities. - Aaron Ballman; David Svoboda (SecDev, 2016)

GTIRB: Intermediate Representation for Binaries. - Eric M. Schulte; Jonathan Dorn; Antonio Flores-Montoya; Aaron Ballman; Tom Johnson (CoRR, 2019)