Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation - researchr publication

researchr

You are not signed in
Sign in
Sign up

Sangho Lim, Hyoungjin Lim, Wonyeol Lee 0001, Xavier Rival, Hongseok Yang. Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation. Proceedings of the ACM on Programming Languages, 10(POPL):597-627, 2026. [doi]

Abstract is missing.

runs on WebDSL