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
Registered user since Thu 14 May 2020
Name:
Xizhe Yin
Country:
United States
Affiliation:
University of California, Riverside
Contributions
PLDI 2022
Author of (ICFP 2020) TLC: Temporal Logic of Distributed Components within the SIGPLAN Track-track
CGO 2021
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2020
Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track
Share
x
Sat 25 Jun 03:09