• Sign in
  • Sign up
conf.researchr.org / Krste Asanovic
  • PLDI 2023 profile
No Photo

Not registered as user

Name:Krste Asanovic
Affiliation:University of California Berkeley

Contributions

2023

PLARCH

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