Yao Hsiao

According to our database, Yao Hsiao authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification.

Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel

CoRR, 2024

2021

Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations.

Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, Caroline Trippel

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

2020

Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer.

Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020