Cleaning up Erlang code is a dirty job but somebody's gotta do it. - Thanassis Avgerinos; Konstantinos Sagonas (Erlang Workshop, 2009)

Automatic refactoring of Erlang programs. - Konstantinos Sagonas; Thanassis Avgerinos (PPDP, 2009)

All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask). - Edward J. Schwartz; Thanassis Avgerinos; David Brumley (IEEE Symposium on Security and Privacy, 2010)

BAP: A Binary Analysis Platform. - David Brumley; Ivan Jager; Thanassis Avgerinos; Edward J. Schwartz (CAV, 2011)

AEG: Automatic Exploit Generation. - Thanassis Avgerinos; Sang Kil Cha; Brent Lim Tze Hao; David Brumley (NDSS, 2011)

TIE: Principled Reverse Engineering of Types in Binary Programs. - JongHyup Lee; Thanassis Avgerinos; David Brumley (NDSS, 2011)

Q: Exploit Hardening Made Easy. - Edward J. Schwartz; Thanassis Avgerinos; David Brumley (USENIX Security Symposium, 2011)

Unleashing Mayhem on Binary Code. - Sang Kil Cha; Thanassis Avgerinos; Alexandre Rebert; David Brumley (IEEE Symposium on Security and Privacy, 2012)

Optimizing Seed Selection for Fuzzing. - Alexandre Rebert; Sang Kil Cha; Thanassis Avgerinos; Jonathan Foote; David Warren; Gustavo Grieco; David Brumley (USENIX Security Symposium, 2014)

Automatic exploit generation. - Thanassis Avgerinos; Sang Kil Cha; Alexandre Rebert; Edward J. Schwartz; Maverick Woo; David Brumley (Commun. ACM, 2014)

Enhancing symbolic execution with veritesting. - Thanassis Avgerinos; Alexandre Rebert; Sang Kil Cha; David Brumley (Commun. ACM, 2016)

The Mayhem Cyber Reasoning System. - Thanassis Avgerinos; David Brumley; John Davis; Ryan Goulden; Tyler Nighswander; Alexandre Rebert; Ned Williamson (IEEE Secur. Priv., 2018)

To clean or not to clean: Malware removal strategies for servers under load. - Sherwin Doroudi; Thanassis Avgerinos; Mor Harchol-Balter (Eur. J. Oper. Res., 2021)

GraphFuzz: Library API Fuzzing with Lifetime-aware Dataflow Graphs. - Harrison Green; Thanassis Avgerinos (ICSE, 2022)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis. - Panagiotis Diamantakis; Thanassis Avgerinos; Yannis Smaragdakis (CoRR, 2025)