There is a newer version of the record available.

Published October 3, 2025 | Version POPL-2026-AEC-submission
Software Open

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs (Artifact)

Authors/Creators

  • 1. ROR icon New York University

Description

This is the artifact for the paper "All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs".

This constitutes a snapshot of the repository https://github.com/nobrakal/intdet

Files

Files (150.2 kB)

Name Size Download all
md5:6682044ce48960a075c88c28cb511e4d
150.2 kB Download

Additional details

Software

Repository URL
https://github.com/nobrakal/intdet
Programming language
Coq