Folgen
Yao Hsiao
Yao Hsiao
Stanford University
Bestätigte E-Mail-Adresse bei stanford.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
152021
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3