Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xizhe Yin
conf.researchr.org general profile
CGO 2021 profile
ICFP 2020 profile
PLDI 2022 profile
PPoPP 2023 profile
PPoPP 2024 profile
Registered user since Thu 14 May 2020
Name:
Xizhe Yin
Country:
United States
Affiliation:
University of California, Riverside
Contributions
2024
Principles and Practice of Parallel Programming
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2023
Principles and Practice of Parallel Programming
AEC Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2022
PLDI
Author of (ICFP 2020) TLC: Temporal Logic of Distributed Components within the SIGPLAN Track-track
2021
CGO
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2020
ICFP
Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track
Share
x
Thu 7 Dec 20:52