Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
Verifying Probabilistic Programs in the Presence of an Adversary
Robert Rand
January 2015
Slides
Video
Poster
Type
Poster
Publication
International Conference on Functional Programming (ICFP 2015) Poster
3rd place in the graduate student poster competition.
"Hoare Logic"
Formal verification
"Probabilistic Programming"
"Nondeterminism"
Related
Models for Probabilistic Programs with an Adversary
VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs
Cite
×