Author:
Coburn Joel,Caulfield Adrian M.,Akel Ameen,Grupp Laura M.,Gupta Rajesh K.,Jhala Ranjit,Swanson Steven
Cited by
218 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A verified durable transactional mutex lock for persistent x86-TSO;Formal Methods in System Design;2024-07-31
2. A Midsummer Night’s Tree: Efficient and High Performance Secure SCM;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27
3. Puddles: Application-Independent Recovery and Location-Independent Data for Persistent Memory;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22
4. Structured storage for ubiquitous operating systems;SCIENTIA SINICA Informationis;2024-03-01
5. TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23