2 papers
cs.IR2022
Extracting and Visualizing Wildlife Trafficking Events from Wildlife Trafficking Reports
Devin Coughlin, Maylee Gagnon, Victoria Grasso +5
Experts combating wildlife trafficking manually sift through articles about seizures and arrests, which is time consuming and make identifying trends difficult. We apply natural la…
cs.PL2015
Synthesizing Short-Circuiting Validation of Data Structure Invariants
Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang +1
This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verifica…