Lattice
Track papers across labs, topics, and trends.
馃
Lattice AI
AI
Papers
Digest
Topics
Labs
Collections
FAQ
Search papers...
鈱楰
Created by
Flynn Lachendro
Give Feedback
System theme
System theme
Papers
Digest
Topics
Labs
Saved
Search
Search papers, labs, and topics across Lattice.
Back
Yaokun Zhang
Affiliation:
Papers on Lattice
1
Total citations
0
Topics
2
Publication activity
papers/week, last 8 weeks
Research focus
Code Generation & Program Synthesis (1)
Eval Frameworks & Benchmarks (1)
Frequent co-authors
Xizhe Yin (1)
Yang Feng (1)
Baowen Xu (1)
Papers (1)
Sep 9, 2026
Affiliation:
Sep 9, 2026
UnsafeChecker: Finding Soundness Bugs in Rust Safe Abstractions
Xizhe Yin
,
Yaokun Zhang
,
Yang Feng
+1
Code Generation & Program Synthesis
Eval Frameworks & Benchmarks
Show more
