• Sign in
  • Sign up
conf.researchr.org / Tianrui Wei
  • PLDI 2023 profile
No Photo

Registered user since Tue 16 May 2023

Name:Tianrui Wei
Affiliation:University of California, Berkeley

Contributions

2023

PLARCH

  • Author of NFC:Next-generation Formal verification for high performance Caches within the PLARCH 2023-track
  • Author of Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware within the PLARCH 2023-track
Share
xTue 20 May 01:16
using conf.researchr.org (v1.69.0)
Support page
Sign Up