연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (8건)


Formal Machine-Verification of MemSnap: An Efficient, Far-Future Linearizable Snapshot Algorithm
키워드: #algorithm #efficient #linearizability #linearizable #elegant
파트: Verification | 연도: 2025
PLAS'20: 15th Workshop on Programming Languages and Analysis for Security
키워드: #researchers #2020 #27th #conference #15th
파트: Infrastructure | 연도: 2020