20 citations · 49 across the 11 of their papers we have counts for
3 papers · 1 filter
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea +10
This paper presents a novel optimization for differentiable programming named coarsening optimization. It offers a systematic way to synergize symbolic differentiation and algorith…
PPL Bench: Evaluation Framework For Probabilistic Programming Languages
Sourabh Kulkarni, Kinjal Divesh Shah, Nimar Arora +9
We introduce PPL Bench, a new benchmark for evaluating Probabilistic Programming Languages (PPLs) on a variety of statistical models. The benchmark includes data generation and eva…
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
Riccardo Pucella, Erik Meijer, Dino Oliva
A useful programming language needs to support writing programs that take advantage of services and communication mechanisms supplied by the operating system. We examine the proble…