Fetching the paper…
Reading the bibliography…
The success and popularity of deep learning is on the rise, partially due to powerful deep learning frameworks such as TensorFlow and PyTorch that make it easier to develop deep learning models.
A Statistical Interpretation of Term Specificity and its Application in Retrieval
Karen Spärck Jones. 1972 · 1972
Earlier work this paper cites.
Automatic Induction of LISP Functions. In Proceedings of the 1st Summer Conference on Artificial Intelligence and Simulation of Behaviour (AISB 1974) . 50–62
Steven Hardy. 1974 · 1974
Earlier work this paper cites.
Inferring LISP Programs from Examples. In Proceedings of the 4th International Joint Conference on Artificial Intelligence (IJCAI 1975) . 260–267
David E. Shaw, William R. Swartout, and C. Cordell Green. 1975 · 1975
Earlier work this paper cites.
Symbolic Execution and Program Testing
James C. King. 1976 · 1976
Earlier work this paper cites.
Information Retrieval
C. J. van Rijsbergen. 1979 · 1979
Earlier work this paper cites.
How Not To Lie With Statistics: The Correct Way To Summarize Benchmark Results
Philip J. Fleming and John J. Wallace. 1986 · 1986
Earlier work this paper cites.
Combinatorial Sketching for Finite Programs. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2006) . 404–415
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, and Vijay A. Saraswat. 2006 · 2006
Earlier work this paper cites.
KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI 2008) . 209–224
Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008 · 2008
Earlier work this paper cites.
Automating String Processing in Spreadsheets using Input-Output Examples. In Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2011) . 317–330
Sumit Gulwani. 2011 · 2011
Earlier work this paper cites.
Scikit-learn: Machine Learning in Python
F. Pedregosa, G. Varoquaux, A. Gramfort, V. Michel, B. Thirion, O. Grisel, M. Blondel, P. Prettenhofer, R. Weiss, V. Dubourg, J. Vanderplas, A. Passos, D. Cournapeau, M. Brucher, M. Perrot, and E. Duchesnay. 2011 · 2011
Earlier work this paper cites.
Synthesizing Data Structure Manipulations from Storyboards. In Proceedings of the 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering and the 13th European Software Engineering Conference (ESEC/FSE 2011) . 289–299
Rishabh Singh and Armando Solar-Lezama. 2011 · 2011
Earlier work this paper cites.
Spreadsheet Data Manipulation using Examples
Sumit Gulwani, William R. Harris, and Rishabh Singh. 2012 · 2012
Earlier work this paper cites.
Understanding the Exploding Gradient Problem
Razvan Pascanu, Tomas Mikolov, and Yoshua Bengio. 2012 · 2012
Earlier work this paper cites.
Syntax-Guided Synthesis. In Formal Methods in Computer-Aided Design (FMCAD 2013) . 1–8
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013 · 2013
Earlier work this paper cites.
A Machine Learning Framework for Programming by Example. In Proceedings of the 30th International Conference on Machine Learning (ICML 2013) . 187–195
Aditya Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, and Adam Kalai. 2013 · 2013
Earlier work this paper cites.
Stochastic Superoptimization. In Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013) . 305–316
Eric Schkufza, Rahul Sharma, and Alex Aiken. 2013 · 2013
Earlier work this paper cites.
Program Sketching
Armando Solar-Lezama. 2013 · 2013
Cited alongside, same era.
Auto-WEKA: Combined Selection and Hyperparameter Optimization of Classification Algorithms. In The 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2013) . 847–855
Chris Thornton, Frank Hutter, Holger H. Hoos, and Kevin Leyton-Brown. 2013 · 2013
Cited alongside, same era.
TRANSIT: Specifying Protocols with Concolic Snippets. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) . 287–296
Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, and Rajeev Alur. 2013 · 2013
Cited alongside, same era.
FlashExtract: A Framework for Data Extraction by Examples. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014) . 542–553
Vu Le and Sumit Gulwani. 2014 · 2014
Cited alongside, same era.
MXNet: A Flexible and Efficient Machine Learning Library for Heterogeneous Distributed Systems
RobustFill: Neural Program Learning under Noisy I/O. In Proceedings of the 34th International Conference on Machine Learning (ICML 2017) . 990–998
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli. 2017 · 2017
Later among the works it cites.
Program Synthesis
Sumit Gulwani, Oleksandr Polozov, and Rishabh Singh. 2017 · 2017
Later among the works it cites.
Neuro-Symbolic Program Synthesis. In Proceedings of the 5th International Conference on Learning Representations (ICLR 2017)
Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, and Pushmeet Kohli. 2017 · 2017
Later among the works it cites.
Automatic Differentiation in PyTorch. In NIPS 2017 Autodiff Workshop
Adam Paszke, Sam Gross, Soumith Chintala, Gregory Chanan, Edward Yang, Zachary DeVito, Zeming Lin, Alban Desmaison, Luca Antiga, and Adam Lerer. 2017 · 2017
Later among the works it cites.
Synthesis of Data Completion Scripts using Finite Tree Automata
Xinyu Wang, Isil Dillig, and Rishabh Singh. 2017 · 2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Tianqi Chen, Mu Li, Yutian Li, Min Lin, Naiyan Wang, Minjie Wang, Tianjun Xiao, Bing Xu, Chiyuan Zhang, and Zheng Zhang. 2015 · 2015
Cited alongside, same era.
Synthesizing Data Structure Transformations from Input-Output Examples. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015) . 229–239
John K. Feser, Swarat Chaudhuri, and Isil Dillig. 2015 · 2015
Cited alongside, same era.
Diederik P. Kingma and Jimmy Ba. 2015 · 2015
Cited alongside, same era.
Deep Learning
Yann LeCun, Yoshua Bengio, and Geoffrey E. Hinton. 2015 · 2015
Cited alongside, same era.
Predicting a Correct Program in Programming by Example. In Proceedings of the 27th International Conference on Computer Aided Verification (CAV 2015) . 398–414
Rishabh Singh and Sumit Gulwani. 2015 · 2015
Cited alongside, same era.
TensorFlow: A System for Large-Scale Machine Learning. In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2016) . 265–283
Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016 · 2016
Cited alongside, same era.
Program Synthesis from Polymorphic Refinement Types. In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2016) . 522–538
Nadia Polikarpova, Ivan Kuraj, and Armando Solar-Lezama. 2016 · 2016
Cited alongside, same era.
CNTK: Microsoft’s Open-Source Deep-Learning Toolkit. In Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2016) . 2135–2135
Frank Seide and Amit Agarwal. 2016 · 2016
Cited alongside, same era.
Neural Architecture Search with Reinforcement Learning. In Proceedings of the 5th International Conference on Learning Representations (ICLR 2017)
Barret Zoph and Quoc V. Le. 2017 · 2017
Later among the works it cites.
Accelerating Search-Based Program Synthesis using Learned Probabilistic Models. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018) . 436–449
Woosuk Lee, Kihong Heo, Rajeev Alur, and Mayur Naik. 2018 · 2018
Later among the works it cites.
Program Synthesis using Abstraction Refinement
Xinyu Wang, Isil Dillig, and Rishabh Singh. 2018 · 2018
Later among the works it cites.
The Adverse Effects of Code Duplication in Machine Learning Models of Code. In Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2019) . 143–153
Miltiadis Allamanis. 2019 · 2019
Later among the works it cites.
AutoPandas: Neural-Backed Generators for Program Synthesis
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica. 2019 · 2019
Later among the works it cites.
AL: Autogenerating Supervised Learning Programs
José Pablo Cambronero and Martin C. Rinard. 2019 · 2019
Later among the works it cites.
FrAngel: Component-Based Synthesis with Control Structures
Kensen Shi, Jacob Steinhardt, and Percy Liang. 2019 · 2019
Later among the works it cites.
Synthetic Datasets for Neural Program Synthesis. In Proceedings of the 7th International Conference on Learning Representations (ICLR 2019)
Richard Shin, Neel Kant, Kavi Gupta, Chris Bender, Brandon Trabucco, Rishabh Singh, and Dawn Song. 2019 · 2019
Later among the works it cites.
Just-in-Time Learning for Bottom-Up Enumerative Synthesis
Shraddha Barke, Hila Peleg, and Nadia Polikarpova. 2020 · 2020
Closest in time.
Sketch-Driven Regular Expression Generation from Natural Language and Examples
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, and Greg Durrett. 2020 · 2020
Closest in time.