Xizhe Yin -

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