蔓生庭院

标签: 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

狷墨居主人 © 2016-2026

  • GitHub
  • RSS