James R. Cordy -

Not registered as user yet

Name:James R. Cordy

Contributions

ICSE 2022	Author of CRustS: A Transpiler from Unsafe C to Safer Rust within the Posters-track
MODELS 2020	Author of Synthesis of State Machine Models within the Technical Track-track
* ICSE 2018 *	Author of Analyzing a Decade of Linux System Calls within the Journal first papers-track
ICPC 2018	Session Chair of Bugs and Debugging (part of Technical Research) Author of Adventures in NICAD: A Ten-Year Retrospective within the Technical Research-track