Foundations and Trends R © in Programming Languages
By Andrzej S. Murawski. 2016
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
Citations in the corpus
- AutoML-Zero: Evolving Machine Learning Algorithms From Scratch (2020, background): “More recently, program synthesis has focused on solving problems like sorting (Graves et al., 2014), string manipulation (Gulwani et al., 2017; Balog et al., 2017), or structured data QA (Liang et al., 2016).”
- Semantic Scaffolds for Pseudocode-to-Code Generation (2020, background): “While these do not encode the full spectrum of constraints used in some formal program synthesis tools (Solar-Lezama, 2009; Gulwani et al., 2017), they strike a balance between utility, speed, and ease of use, offering substantial improvements in system performance without a significant increase in…”
- Learning to Represent Programs with Property Signatures (2020, background): “We can hardly do it justice here, but see some of Gottschlich et al. (2018); Solar-Lezama (2018); Gulwani et al. (2017); Allamanis et al. (2018) for more detailed surveys.”