Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax. - Sam Cowger; Yerim Lee; Nichole Schimanski; Mark Tullsen; Walter Woods; Richard Jones; E. W. Davis; William Harris; Trent Brunson; Carson Harmon; Bradford Larsen; Evan Sultanik (SP (Workshops), 2020)

Toward Automated Grammar Extraction via Semantic Labeling of Parser Implementations. - Carson Harmon; Bradford Larsen; Evan A. Sultanik (SP (Workshops), 2020)

PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning. - Wei You 001; Zhuo Zhang 002; Yonghwi Kwon 001; Yousra Aafer; Fei Peng; Yu Shi; Carson Harmon; Xiangyu Zhang 001 (SP, 2020)

PolyTracker: Whole-Input Dynamic Information Flow Tracing. - Evan Sultanik; Marek Surovic; Henrik Brodin; Kelly Kaoudis; Facundo Tuesca; Carson Harmon; Lisa Overall; Joseph Sweeney; Bradford Larsen (ISSTA, 2024)