GoJournal: a verified, concurrent, crash-safe journaling system
GoJournal: a verified, concurrent, crash-safe journaling system
复制标题
GoJournal：经过验证、并发、防崩溃的日志系统
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Zeldovich, Nickolai
中科院分区：
文献类型：
--
作者：
Chajed, Tej;Tassarotti, Joseph;Theng, Mark;Jung, Ralf;Kaashoek, M. Frans;Zeldovich, Nickolai
登录
查看更多内容
DOI：
10.1145/3314221.3314585
发表时间：
2019-06
期刊：
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Tej Chajed;Joseph Tassarotti;M. Kaashoek;Nickolai Zeldovich
通讯作者：
Tej Chajed;Joseph Tassarotti;M. Kaashoek;Nickolai Zeldovich
通过崩溃优化对文件系统进行一键式验证
DOI：
--
发表时间：
2016
期刊：
USENIX Annual Technical Conference
影响因子：
--
作者：
Helgi Sigurbjarnarson;James Bornholt;Nicolas Christin;L. Cranor
通讯作者：
L. Cranor
影响因子：
22.7
作者：
LIPTON, RJ
通讯作者：
LIPTON, RJ
使用 CSPEC 中的移动器验证并发软件
DOI：
--
发表时间：
2018
期刊：
USENIX Symposium on Operating Systems Design and Implementation
影响因子：
--
作者：
Tej Chajed;Frans Kaashoek;Mit Csail;Microsoft Butler Lampson;Nickolai Zeldovich;M. Kaashoek;Microsoft Research
通讯作者：
Microsoft Research
交易的推/拉模型
DOI：
10.1145/2737924.2737995
发表时间：
2015
期刊：
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Eric Koskinen;Matthew J. Parkinson
通讯作者：
Matthew J. Parkinson