Lattice
Papers
Digest
Topics
Labs
Collections
FAQ
System theme
System theme
Lattice Biology
biology
Track genomics, neuroscience and molecular biology.
Search papers…
⌘K
Papers
Digest
Topics
Labs
Saved
Search
Search papers, labs, and topics across Lattice.
Back
Xizhe Yin
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
Yaokun Zhang (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
Show more
