A Type and Effect System for Determinism in Multithreaded Programs.

Yi Lu, John Potter, Chenyi Zhang, Jingling Xue

Browse the full ESOP paper archive.