Devin Coughlin

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Devin Coughlin, Maylee Gagnon, Victoria Grasso, Guanyi Mou, Kyumin Lee, Renata Konrad, Patricia Raxter, Meredith Gore
Extracting and Visualizing Wildlife Trafficking Events from Wildlife Trafficking Reports. CoRR (2022)
Devin Coughlin, Maylee Gagnon, Victoria Grasso, Guanyi Mou, Kyumin Lee, Renata Konrad, Patricia Raxter, Meredith Gore
Extracting and Visualizing Wildlife Trafficking Events from Wildlife Trafficking Reports. ASONAM (2022)
Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang, Xavier Rival
Synthesizing Short-Circuiting Validation of Data Structure Invariants. CoRR (2015)
Devin Coughlin, Bor-Yuh Evan Chang
Fissile type analysis: modular checking of almost everywhere invariants. POPL (2014)
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. ISSTA (2012)
Todd Mytkowicz, Devin Coughlin, Amer Diwan
Inferred call path profiling. OOPSLA (2009)
Christoph Reichenbach, Devin Coughlin, Amer Diwan
Program Metamorphosis. ECOOP (2009)