DeterV: Verifying Deterministic Parallel Execution

All Authors
Zhengqing Liu, Marios Kogias
Publication Venue
14th Workshop on Programming Languages and Operating Systems
Publication Date
2026
Attachment
main.pdf (595.44 KB)
Short series title
PLOS'26