Published November 19, 2025 | Version POPL-2026-AEC-final
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 (151.8 kB)

Name Size Download all
md5:6b83195bc42245b0539616ac464de615
151.8 kB Download

Additional details

Software

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