in TypeDis (conditionally accepted at POPL!), we develop a type system for enforcing **disentanglement** statically at compile-time. This project was led by Alexandre Moine here at NYU, in close collaboration with Stephanie Balzer at CMU.
@shwestrick.bsky.socialabsolutely thrilled to announce 2 papers (conditionally) accepted at POPL!
TypeDis: A Type System for Disentanglement
(Moine, Balzer, Xu, Westrick)
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
(Moine, Westrick, Tassarotti)