Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Steven Y. Ko

Steven Y. Ko

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Software Eng.×1

Frequent co-authors

Mohammad Omidvar Tehrani1×
Marco Gaboardi1×
Nick Sumner1×

Research Timeline

2026
Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust

LEAF is a dynamic analysis framework for Rust that captures MIR-level semantic information and delivers it as an event stream through Dynamic MIR.

Highlighted terms show continued research focus across papers

Papers

cs.SEEmpiricalRecentJul 16, 2026

Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust

Mohammad Omidvar Tehrani, Marco Gaboardi, Nick Sumner, Steven Y. Ko

LEAF is a dynamic analysis framework for Rust that captures MIR-level semantic information and delivers it as an event stream through Dynamic MIR.

View →