Program Metamorphosis. - Christoph Reichenbach; Devin Coughlin; Amer Diwan (ECOOP, 2009)

Inferred call path profiling. - Todd Mytkowicz; Devin Coughlin; Amer Diwan (OOPSLA, 2009)

Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. - Devin Coughlin; Bor-Yuh Evan Chang; Amer Diwan; Jeremy G. Siek (ISSTA, 2012)

Fissile type analysis: modular checking of almost everywhere invariants. - Devin Coughlin; Bor-Yuh Evan Chang (POPL, 2014)

Synthesizing Short-Circuiting Validation of Data Structure Invariants. - Yi-Fan Tsai; Devin Coughlin; Bor-Yuh Evan Chang; Xavier Rival (CoRR, 2015)

Extracting and Visualizing Wildlife Trafficking Events from Wildlife Trafficking Reports. - Devin Coughlin; Maylee Gagnon; Victoria Grasso; Guanyi Mou; Kyumin Lee; Renata Konrad; Patricia Raxter; Meredith Gore (ASONAM, 2022)