DeterV: Verifying Deterministic Parallel Execution [pdf]

(scofieldliu.com)

1 points | by matt_d 5 hours ago

No comments yet.