Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Weiyu Luo
conf.researchr.org general profile
PLDI 2022 profile
POPL 2022 profile
Registered user since Wed 24 Nov 2021
Name:
Weiyu Luo
Country:
United States
Affiliation:
University of California, Irvine
Contributions
2022
PLDI
Author of Checking Robustness to Weak Persistency Models within the PLDI-track
VMCAI
Author of Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate within the VMCAI 2022-track
Share
x
Sat 17 May 11:28
