Using concurrent relational logic with helpers for verifying the AtomFS file system-Reference-Cited by-同舟云学术

Using concurrent relational logic with helpers for verifying the AtomFS file system

Published:2019-10-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM Symposium on Operating Systems Principles
language:
Short-container-title:

Author:

Zou Mo¹,Ding Haoran¹,Du Dong¹,Fu Ming²,Gu Ronghui³,Chen Haibo⁴

Affiliation:

1. Shanghai Jiao Tong University

2. Huawei Technologies Co. Ltd

3. Columbia University

4. Shanghai Jiao Tong University and Huawei Technologies Co. Ltd and Columbia University

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3341301.3359644

Reference76 articles.

1. 2019. FreeBSD Handbook. https://www.freebsd.org/doc/handbook/ Referenced April 2019. 2019. FreeBSD Handbook. https://www.freebsd.org/doc/handbook/ Referenced April 2019.

2. 2019. Reiser4 FS Wiki. https://reiser4.wiki.kernel.org/index.php/Main_Page Referenced April 2019. 2019. Reiser4 FS Wiki. https://reiser4.wiki.kernel.org/index.php/Main_Page Referenced April 2019.

3. 2019. tmpfs - Linux manual page. http://man7.org/linux/man-pages/man5/tmpfs.5.html Referenced April 2019. 2019. tmpfs - Linux manual page. http://man7.org/linux/man-pages/man5/tmpfs.5.html Referenced April 2019.

4. 2019. Toward better testing. https://lwn.net/Articles/591985/ Referenced August 2019. 2019. Toward better testing. https://lwn.net/Articles/591985/ Referenced August 2019.

5. Cogent

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Shadow Filesystems: Recovering from Filesystem Runtime Errors via Robust Alternative Execution;Proceedings of the 16th ACM Workshop on Hot Topics in Storage and File Systems;2024-07-08

2. Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23

3. Automated Verification of an In-Production DNS Authoritative Engine;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23

4. Time Administration of Virtual File System Operations;2022 2nd International Conference on Technological Advancements in Computational Sciences (ICTACS);2022-10-10

5. Verification of Crashsafe Caching in a Virtual File System Switch;Formal Aspects of Computing;2022-03-31