Yao Hsiao

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Computational Intelligence

Query Translation

Top Venues

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)