Yousun Ko

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Static Analysis

Symbolic Execution

Software Projects

Top Venues

Publications

Yousun Ko, Bernd Burgstaller
BEC: Bit-Level Static Analysis for Reliability against Soft Errors. CGO (2024)
Yousun Ko, Bernd Burgstaller
BEC: Bit-Level Static Analysis for Reliability against Soft Errors. CoRR (2024)
Yousun Ko, Alex Bradbury, Bernd Burgstaller, Robert D. Mullins
Trace-and-brace (TAB): bespoke software countermeasures against soft errors. LCTES (2022)