Reasoning about nondeterminism in programs.

Byron Cook, Eric Koskinen

Browse the full PLDI paper archive.