蔓生庭院
搜索
Search
暗色模式
亮色模式
标签: paper
此标签下有7条笔记。
2026/02/06
A Programming Model for Disaggregated Memory over CXL
paper
2026/02/04
Concurrent Separation Logic
paper
2026/02/02
Perennial
paper
2024/12/10
Formal Methods for Correct Persistent Programming (Seminar Report)
reference
paper
2024/12/02
Discovering Likely Program Invariants for Persistent Memory
reference
paper
2024/11/23
Persistent Owicki-Gries Reasoning
reference
paper
2024/07/18
Specifying and Verifying Persistent Libraries
reference
paper