Pinned Loading

1. machine-certified-linearizability machine-certified-linearizability Public

   Artifact package accompanying our POPL 2024 submission titled "A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability".

   TLA 9

2. omega-forlan omega-forlan Public

   Modules for working with ω-regular expressions and non-deterministic Büchi automata in Forlan/SML.

   Standard ML

3. memsnap-verification memsnap-verification Public

   Auxiliary material for our SPAA 2025 paper "Formal Machine-Verification of MemSnap: An Efficient, Far-Future Linearizable Snapshot Algorithm".

   TLA

4. p10k-opam-switch.md p10k-opam-switch.md

   1

   <!--

   2

   This snippet adds a custom powerlevel10k segment 

   3

   that displays the current opam switch with a     

   4

   nice OCaml-themed color and icon.                

   5

   -->