12 citations · 17 across the 4 of their papers we have counts for
4 papers
TRACT: Denoising Diffusion Models with Transitive Closure Time-Distillation
David Berthelot, Arnaud Autef, Jierui Lin +6
Denoising Diffusion models have demonstrated their proficiency for generative sampling. However, generating good samples often requires many iterations. Consequently, techniques su…
Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions
David Bieber, Rishab Goel, Daniel Zheng +2
The execution behavior of a program often depends on external resources, such as program inputs or file contents, and so cannot be run in isolation. Nevertheless, software develope…
Native Implementation of Mutable Value Semantics
Dimitri Racordon, Denys Shabalin, Daniel Zheng +2
Unrestricted mutation of shared state is a source of many well-known problems. The predominant safe solutions are pure functional programming, which bans mutation outright, and flo…
Swift for TensorFlow: A portable, flexible platform for deep learning
Brennan Saeta, Denys Shabalin, Marc Rasi +10
Swift for TensorFlow is a deep learning platform that scales from mobile devices to clusters of hardware accelerators in data centers. It combines a language-integrated automatic d…