Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
SPAA
/
Paper
Formal Machine-Verification of MemSnap: An Efficient, Far-Future Linearizable Snapshot Algorithm.
Siddhartha Jayanti
,
Ugur Y. Yavuz
Venue
B
SPAA
Year
2025
Proceedings
SPAA
DBLP record
conf/spaa/JayantiY25 ↗
Browse the full
SPAA paper archive
.