Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang 0001, Hsiang-Shang Ko, Yu-Fang Chen. Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer. In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020. pages 81-97, USENIX Association, 2020. [doi]
@inproceedings{ChangHLTWCKC20,
title = {Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer},
author = {Yun-Sheng Chang and Yao Hsiao and Tzu-Chi Lin and Che-Wei Tsao and Chun-Feng Wu and Yuan-Hao Chang 0001 and Hsiang-Shang Ko and Yu-Fang Chen},
year = {2020},
url = {https://www.usenix.org/conference/osdi20/presentation/chang},
researchr = {https://researchr.org/publication/ChangHLTWCKC20},
cites = {0},
citedby = {0},
pages = {81-97},
booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020},
publisher = {USENIX Association},
isbn = {978-1-939133-19-9},
}