source/docs/publications-and-projects/_projects · verus · Tangled

forked from verus-lang/verus

verus source docs publications-and-projects _projects

46 files

Natalie Neamtu · Change venue to NeurIPS and update publication date (#3079) · 1mo ago

Two more Verus-related publications (#2810)

Add recent publications using Verus

Add recent awards

atmosphere-kisv.md

Add two more arxiv papers, and a link to Atmosphere's code

atmosphere-sosp.md

Add two more arxiv papers, and a link to Atmosphere's code

Note AutoVerus artifact award (#1925)

beyond-isolation.md

rename projects page, add link to README

cazamariposas.md

Add recent publications using Verus

Add another Verus-related publication.

Add CortenMM to publication list (#1913)

expert-proof-writing.md

Add two more arxiv papers, and a link to Atmosphere's code

Add code link to ExVerus project entry (#2626)

ghost-linear.md

rename projects page, add link to README

Add a project based on graphs.

hance-thesis.md

Add the Verus SOSP paper

Add hekate-math to project list (#2918)

ironfleet-kv.md

rename projects page, add link to README

Add KVerus publication and TLA library (#2562)

rename projects page, add link to README

llm-mainstream.md

Add four recent papers using Verus (all in the context of LLMs.

rename projects page, add link to README

Fix link for NR

Update the Verus project list with some new publications and updated publication data.

persistent-storage.md

Add PoWER paper, update verified-storage project (#1800)

Add PoWER paper, update verified-storage project (#1800)

practical-foundation.md

Add the Verus SOSP paper

proof-plumber.md

Add recent awards

Add another AI + Verus paper (#2583)

rlsf-verified.md

Add rlsf-verified to project list (#2276)

Two more Verus-related publications (#2810)

Update the Verus project list with some new publications and updated publication data.

Update a publication venue

Add KVerus publication and TLA library (#2562)

tunable-automation.md

add tunable automation pub (#2978)

Add recent publications using Verus

Add another Verus-related paper

Add VeriContest paper to publications (#2588)

verified-ostd.md

Update project entries

verified-pagetable.md

add verified page table to projects site

Add recent awards

Add two more arxiv papers, and a link to Atmosphere's code

Add VerusBelt awards (#2574)

Change venue to NeurIPS and update publication date (#3079)

Add VerusSyn paper

Add recent publications using Verus