Login / Signup
Yao Hsiao
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Computational Intelligence
Query Translation
Formal Models
Multi Layer
Top Venues
MICRO
OSDI
</>
Publications
</>
Yao Hsiao
,
Dominic P. Mulligan
,
Nikos Nikoleris
,
Gustavo Petri
,
Caroline Trippel
Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations.
MICRO
(2021)
Yun-Sheng Chang
,
Yao Hsiao
,
Tzu-Chi Lin
,
Che-Wei Tsao
,
Chun-Feng Wu
,
Yuan-Hao Chang
,
Hsiang-Shang Ko
,
Yu-Fang Chen
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer.
OSDI
(2020)