Yao Hsiao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MICRO | 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 |
| 2021 | MICRO | 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 |
| 2020 | OSDI | 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 |