Jacques: Created page with "Starting with a probabilistic program, we want another program that denotes the same measure but runs more efficiently and reads more easily. We approach this longstanding chall..."

2015-10-26T14:53:17Z

Created page with "Starting with a probabilistic program, we want another program that denotes the same measure but runs more efficiently and reads more easily. We approach this longstanding chall..."

New page

Starting with a probabilistic program, we want another program that
denotes the same measure but runs more efficiently and reads more
easily. We approach this longstanding challenge by composing three
semantics-preserving program transformations: given a program, we
(1) apply the denotational semantics; (2) improve the resulting
integral; then (3) invert the denotational semantics. Whereas step 1 is
a straightforward transformation from monadic to continuation-passing style,
the rest builds on computer algebra: step 2 reorders and
performs integrals, and step 3 represents density functions as
differential operators.

WG211/M15Carette - Revision history

Jacques: Created page with "Starting with a probabilistic program, we want another program that denotes the same measure but runs more efficiently and reads more easily. We approach this longstanding chall..."