Statistics
Publications
3
Citations
58
H-Index
3
Active since
2020
Affiliations
University of California, Riverside(Current)
Xizhe Yin is an author at University of California, Riverside specializing in engineering, computer science, and formal methods.
Publications per year
2020–2022
3
3
Xiaolin Jiang, Chengshuo Xu, Xizhe Yin et al. · 2021 · 29 citations · Full text
Glign: Taming Misaligned Graph Traversals in Concurrent Graph Processing
Xizhe Yin, Zhijia Zhao, Rajiv Gupta · 2022 · 18 citations · Full text
TLC: temporal logic of distributed components
Jeremiah Griffin, Mohsen Lesani, Narges Shadab et al. · Proceedings of the ACM on Programming Languages · 2020 · 11 citations · Full text
1–3 of 3