Fast probabilistic simulation, nontermination, and secure information flow.

Geoffrey Smith, Rafael Alpzar

Browse the full PLDI paper archive.