Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. - Stelios Sidiroglou-Douskos; Eric Lahtinen; Nathan Rittenhouse; Paolo Piselli; Fan Long; Deokhwan Kim; Martin C. Rinard (ASPLOS, 2015)

Automatic error elimination by horizontal code transfer across multiple applications. - Stelios Sidiroglou-Douskos; Eric Lahtinen; Fan Long; Martin C. Rinard (PLDI, 2015)

CodeCarbonCopy. - Stelios Sidiroglou-Douskos; Eric Lahtinen; Anthony Eden; Fan Long; Martin C. Rinard (ESEC/SIGSOFT FSE, 2017)

BinWrap: Hybrid Protection against Native Node.js Add-ons. - George Christou; Grigoris Ntousakis; Eric Lahtinen; Sotiris Ioannidis; Vasileios P. Kemerlis; Nikos Vasilakis (AsiaCCS, 2023)