Zhonghua Yi
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1
Research Timeline
2026
Build-Authorized Evidence for Opaque Calls: A Fail-Closed Rewrite-Authority Boundary
This paper presents a build-authorized path-effect interface to enforce a boundary for compiler rewrites, ensuring trust and applicability.
Highlighted terms show continued research focus across papers