Verifying vMVCC, a high-performance transaction library using multi-version concurrency control
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control
复制标题
验证使用多版本并发控制的高性能事务库vMVCC
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Zeldovich, Nickolai
中科院分区：
文献类型：
--
作者：
Chang, Yun-Sheng;Jung, Ralf;Sharma, Upamanyu;Tassarotti, Joseph;Kaashoek, M. Frans;Zeldovich, Nickolai
登录
查看更多内容
交易的推/拉模型
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
MoSeL：用于分离逻辑中交互式证明的通用、可扩展模态框架
DOI：
--
发表时间：
2018
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
Robbert Krebbers;Jacques;Ralf Jung;Joseph Tassarotti;Jan;Amin Timany;A. Charguéraud;Derek Dreyer
通讯作者：
Derek Dreyer
后期学分：对后期模式的机智推理
DOI：
--
发表时间：
2022
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
Simon Spies;Lennard Gäher;Joseph Tassarotti;Ralf Jung;R. Krebbers;L. Birkedal;Derek Dreyer
通讯作者：
Derek Dreyer
使用顺序推理验证 DaisyNFS 并发和崩溃安全文件系统
DOI：
--
发表时间：
2022
期刊：
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2022
影响因子：
--
作者：
Chajed, Tej;Tassarotti, Joseph;Theng, Mark;Kaashoek, M. Frans;Zeldovich, Nickolai
通讯作者：
Zeldovich, Nickolai
使用 Perennial 验证并发、防碰撞系统
DOI：
10.1145/3341301.3359632
发表时间：
2019
期刊：
Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP
影响因子：
--
作者：
Chajed, Tej;Tassarotti, Joseph;Kaashoek, Frans;Zeldovich, Nickolai
通讯作者：
Zeldovich, Nickolai