Yihe Huang
Identifiers
No identifiers captured yet.
Papers (3)
- Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4 math.CO · 2026 · author #1
- The Impact of Timestamp Granularity in Optimistic Concurrency Control cs.DB · 2018 · author #1
- Persistent Memory Transactions cs.DC · 2018 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Achin Mishra 1 shared papers
- Amee Trivedi 1 shared papers
- Barbara Liskov 1 shared papers
- Bill Bridge 1 shared papers
- Dave Dice 1 shared papers
- Eddie Kohler 1 shared papers
- Faisal Zaghloul 1 shared papers
- Hao Bai 1 shared papers
- Jiaqi Wang 1 shared papers
- Jujian Zhang 1 shared papers
- Liuba Shrira 1 shared papers
- Margo Seltzer 1 shared papers
- Sanidhya Kashyap 1 shared papers
- Sizhe Cui 1 shared papers
- Steve Byan 1 shared papers
- Tim Harris 1 shared papers
- Virendra Marathe 1 shared papers