7 citations · 7 across the 8 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.SE2026
Soundness Checking of Taint Flow Models
Samarth Kishor, Victor Nicolet, Joey Dodds
Existing state-of-the-art static taint flow analyses for imperative programming languages can scale to large applications by using precise user-provided taint flow models of librar…
cs.PL2026
Mostly Automatic Translation of Language Interpreters from C to Safe Rust
Bo Wang, Brandon Paulsen, Joey Dodds +3
Translating C programs to safe Rust is challenging owing to significant differences in typing constraints, ownership, and borrowing rules. Interpreter programs are particularly imp…
cs.LG2026
EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems
Luan Pham, Victor Nicolet, Joey Dodds +2
Anomaly detection and localization (ADL) is critical for maintaining reliability and availability in cloud systems. Recent ADL developments focus on metric and log data, leaving ev…