Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze
Expressing and verifying probabilistic assertions
PLDI, 2014.
@inproceedings{PLDI-2014-SampsonPMMGC,
author = "Adrian Sampson and Pavel Panchekha and Todd Mytkowicz and Kathryn S. McKinley and Dan Grossman and Luis Ceze",
booktitle = "{Proceedings of the 35th Conference on Programming Language Design and Implementation}",
doi = "10.1145/2594291.2594294",
editor = "Michael F. P. O'Boyle and Keshav Pingali",
isbn = "978-1-4503-2784-8",
pages = "14",
publisher = "{ACM}",
title = "{Expressing and verifying probabilistic assertions}",
year = 2014,
}
Tags: