TY  - RPRT
TI  - All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
AU  - Alexandre Moine
AU  - Sam Westrick
AU  - Joseph Tassarotti
PY  - 2026
DO  - 10.1145/3776668
UR  - https://arxiv.org/abs/2511.23283
ID  - 2511.23283
ER  -