• Sign in
  • Sign up
conf.researchr.org / Xizhe Yin
  • 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
xSat 25 Jun 03:09
using conf.researchr.org (v1.56.1)
Support page
Sign Up