3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LG2022★ 2 cited
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…
cs.PL2021
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…
cs.LG2021★ 3 cited
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…