User Tools

Site Tools


pub:projects:atomfs

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
pub:projects:atomfs [2019/09/01 11:12]
root [Acknowledgements]
pub:projects:atomfs [2019/10/02 17:06] (current)
root [Publication]
Line 25: Line 25:
  
 ===== Publication ===== ===== Publication =====
-  *[**SOSP 2019**] Using Concurrent Relational Logic with Helpers for Verifying the AtomFS File System. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen. Proceedings of the 27th ACM Symposium on Operating Systems Principles.+  *[**SOSP 2019**] Using Concurrent Relational Logic with Helpers for Verifying the AtomFS File System. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen. Proceedings of the 27th ACM Symposium on Operating Systems Principles. ​[{{:​publications:​sosp19-zou.pdf|paper}}]
  
 ===== Source Code ===== ===== Source Code =====
pub/projects/atomfs.1567307548.txt.gz ยท Last modified: 2019/09/01 11:12 by root