Volgen
Yao Hsiao
Yao Hsiao
Stanford University
Geverifieerd e-mailadres voor stanford.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3