• Sign in
  • Sign up
conf.researchr.org / Xueyuan Zhao
  • PLDI 2020 profile
  • SPLASH 2021 profile

Not registered as user yet

Name:Xueyuan Zhao
Affiliation:Carnegie Mellon University, USA

Contributions

2021

SPLASH

  • Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the SIGPLAN Papers-track

2020

PLDI

  • Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the PLDI Research Papers-track
Share
xSun 3 Dec 06:05
using conf.researchr.org (v1.62.0)
Support page
Sign Up