Accelerating Inference: towards a full Language, Compiler and Hardware stack
Church: a language for generative models