Expressing and verifying probabilistic assertions.

Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze

Browse the full PLDI paper archive.