Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yun-Sheng Chang' in GoogleThis author has not been identified. Look up 'Yao Hsiao' in GoogleThis author has not been identified. Look up 'Tzu-Chi Lin' in GoogleThis author has not been identified. Look up 'Che-Wei Tsao' in GoogleThis author has not been identified. Look up 'Chun-Feng Wu' in GoogleThis author has not been identified. Look up 'Yuan-Hao Chang 0001' in GoogleThis author has not been identified. It may be one of the following persons:

Hsiang-Shang Ko

Look up 'Hsiang-Shang Ko' in GoogleThis author has not been identified. It may be one of the following persons:

Yu-Fang Chen

Look up 'Yu-Fang Chen' in Google

runs on WebDSL