DeterV: Verifying Deterministic Parallel Execution [pdf]

 (scofieldliu.com)

1 points | by matt_d 5 hours ago ago

No comments yet.