Follow
Yao Hsiao
Yao Hsiao
Stanford University
Verified email at stanford.edu - Homepage
Title
Cited by
Cited by
Year
Synthesizing formal models of hardware from RTL for efficient verification of memory model implementations
Y Hsiao, DP Mulligan, N Nikoleris, G Petri, C Trippel
MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture …, 2021
162021
Determinizing Crash Behavior with a Verified {Snapshot-Consistent} Flash Translation Layer
YS Chang, Y Hsiao, TC Lin, CW Tsao, CF Wu, YH Chang, HS Ko, ...
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020
52020
Scalable assurance via verifiable hardware-software contracts
Y Hsiao, DP Mulligan, N Nikoleris, G Petri, C Trippel
First Workshop on Open-Source Computer Architecture Research (OSCAR), 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–3