Fetching the paper…
Reading the bibliography…
Type inference over partial contexts in dynamically typed languages is challenging.
Pluggable type systems. In OOPSLA workshop on revival of dynamic languages , Vol. 4
Gilad Bracha. 2004 · 2004
Earlier work this paper cites.
Learning a similarity metric discriminatively, with application to face verification. In CVPR
Sumit Chopra, Raia Hadsell, and Yann LeCun. 2005 · 2005
Earlier work this paper cites.
Dimensionality reduction by learning an invariant mapping. In 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR’06) , Vol. 2. IEEE, 1735–1742
Raia Hadsell, Sumit Chopra, and Yann LeCun. 2006 · 2006
Earlier work this paper cites.
A Factor Graph Model for Software Bug Finding. In Proceedings of the International Joint Conference on Artifical intelligence (IJCAI)
Ted Kremenek, Andrew Y Ng, and Dawson R Engler. 2007 · 2007
Earlier work this paper cites.
code2seq: Generating Sequences from Structured Representations of Code. In Proceedings of the International Conference on Learning Representations (ICLR)
Uri Alon, Omer Levy, and Eran Yahav. 2010 · 2010
Earlier work this paper cites.
An Analysis of the Dynamic Behavior of JavaScript Programs. In Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation (Toronto, Ontario, Canada) (PLDI ’10) . ACM, New York, NY, USA, 1–12
Gregor Richards, Sylvain Lebresne, Brian Burg, and Jan Vitek. 2010 · 2010
Earlier work this paper cites.
On the naturalness of software. In Software Engineering (ICSE), 2012 34th International Conference on . IEEE, 837–847
Abram Hindle, Earl T Barr, Zhendong Su, Mark Gabel, and Premkumar Devanbu. 2012 · 2012
Earlier work this paper cites.
Mining source code repositories at massive scale using language modeling. In Proceedings of the Working Conference on Mining Software Repositories (MSR) . IEEE Press, 207–216
Miltiadis Allamanis and Charles Sutton. 2013 · 2013
Earlier work this paper cites.
Learning Natural Coding Conventions. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Miltiadis Allamanis, Earl T Barr, Christian Bird, and Charles Sutton. 2014 · 2014
Earlier work this paper cites.
On the Properties of Neural Machine Translation: Encoder–Decoder Approaches
Kyunghyun Cho, Bart van Merriënboer, Dzmitry Bahdanau, and Yoshua Bengio. 2014 · 2014
Earlier work this paper cites.
Structured generative models of natural source code. In Proceedings of the International Conference on Machine Learning (ICML) . 649–657
Chris Maddison and Daniel Tarlow. 2014 · 2014
Earlier work this paper cites.
Code completion with statistical language models. In Proceedings of the Symposium on Programming Language Design and Implementation (PLDI) , Vol. 49. ACM, 419–428
Veselin Raychev, Martin Vechev, and Eran Yahav. 2014 · 2014
Earlier work this paper cites.
Neural machine translation by jointly learning to align and translate. In Proceedings of the International Conference on Learning Representations (ICLR)
Dzmitry Bahdanau, Kyunghyun Cho, and Yoshua Bengio. 2015 · 2015
Earlier work this paper cites.
In defense of soundiness: a manifesto
Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhoták, J Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z Guyer, Uday P Khedker, Anders Møller, and Dimitrios Vardoulakis. 2015 · 2015
Earlier work this paper cites.
A user-guided approach to program analysis. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Ravi Mangal, Xin Zhang, Aditya V Nori, and Mayur Naik. 2015 · 2015
Earlier work this paper cites.
Predicting program properties from Big Code. In Proceedings of the Symposium on Principles of Programming Languages (POPL) , Vol. 50. ACM, 111–124
Veselin Raychev, Martin Vechev, and Andreas Krause. 2015 · 2015
Earlier work this paper cites.
PHOG: Probabilistic Model for Code. In Proceedings of the International Conference on Machine Learning (ICML) . 2933–2942
Pavol Bielik, Veselin Raychev, and Martin Vechev. 2016 · 2016
Earlier work this paper cites.
Person re-identification by multi-channel parts-based CNN with improved triplet loss function. In Proceedings of the IEEE conference on computer vision and pattern recognition . 1335–1344
De Cheng, Yihong Gong, Sanping Zhou, Jinjun Wang, and Nanning Zheng. 2016 · 2016
Earlier work this paper cites.
Deep Learning
Ian Goodfellow, Yoshua Bengio, and Aaron Courville. 2016 · 2016
Earlier work this paper cites.
Character-aware neural language models. In Thirtieth AAAI Conference on Artificial Intelligence
Yoon Kim, Yacine Jernite, David Sontag, and Alexander M Rush. 2016 · 2016
Cited alongside, same era.
Semi-supervised classification with graph convolutional networks
Thomas N Kipf and Max Welling. 2016 · 2016
Cited alongside, same era.
Gated Graph Sequence Neural Networks
Yujia Li, Daniel Tarlow, Marc Brockschmidt, and Richard Zemel. 2016 · 2016
Cited alongside, same era.
Is sound gradual typing dead?. In ACM SIGPLAN Notices , Vol. 51. ACM, 456–468
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S New, Jan Vitek, and Matthias Felleisen. 2016 · 2016
Cited alongside, same era.
A Parallel Corpus of Python Functions and Documentation Strings for Automated Code Documentation and Code Generation. In Proceedings of the Eighth International Joint Conference on Natural Language Processing (Volume 2: Short Papers) , Vol. 2. 314–319
Deep learning type inference. In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . ACM, 152–162
Vincent J Hellendoorn, Christian Bird, Earl T Barr, and Miltiadis Allamanis. 2018 · 2018
Later among the works it cites.
Phys: probabilistic physical unit assignment and inconsistency detection. In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . ACM, 563–573
Sayali Kate, John-Paul Ore, Xiangyu Zhang, Sebastian Elbaum, and Zhaogui Xu. 2018 · 2018
Later among the works it cites.
Learning loop invariants for program verification. In Advances in Neural Information Processing Systems . 7751–7762
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, and Le Song. 2018 · 2018
Later among the works it cites.
The Adverse Effects of Code Duplication in Machine Learning Models of Code. In SPLASH Onward!
Miltiadis Allamanis. 2019 · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Antonio Valerio Miceli Barone and Rico Sennrich. 2017 · 2017
Cited alongside, same era.
To type or not to type: quantifying detectable bugs in JavaScript. In Proceedings of the International Conference on Software Engineering (ICSE)
Zheng Gao, Christian Bird, and Earl T Barr. 2017 · 2017
Cited alongside, same era.
Neural message passing for quantum chemistry. In Proceedings of the 34th International Conference on Machine Learning-Volume 70 . JMLR. org, 1263–1272
Justin Gilmer, Samuel S Schoenholz, Patrick F Riley, Oriol Vinyals, and George E Dahl. 2017 · 2017
Cited alongside, same era.
Are deep neural networks the best choice for modeling source code?. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering . ACM, 763–773
Vincent J Hellendoorn and Premkumar Devanbu. 2017 · 2017
Cited alongside, same era.
DéjàVu: a map of code duplicates on GitHub
Cristina V Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek. 2017 · 2017
Cited alongside, same era.
Sound gradual typing is nominally alive and well
Fabian Muehlboeck and Ross Tate. 2017 · 2017
Cited alongside, same era.
Deep Learning to Find Bugs
Michael Pradel and Koushik Sen. 2017 · 2017
Cited alongside, same era.
Detecting argument selection defects
Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, and Yulissa Arroyo-Paredes. 2017 · 2017
Cited alongside, same era.
code2vec: Learning distributed representations of code
Uri Alon, Meital Zilberstein, Omer Levy, and Eran Yahav. 2019 · 2019
Later among the works it cites.
Generative code modeling with graphs. In International Conference in Learning Representations
Marc Brockschmidt, Miltiadis Allamanis, Alexander L Gaunt, and Oleksandr Polozov. 2019 · 2019
Later among the works it cites.
Scalable taint specification inference with big code. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation . ACM, 760–774
Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, and Martin Vechev. 2019 · 2019
Later among the works it cites.
Open Vocabulary Learning on Source Code with a Graph-Structured Cache. In Proceedings of the International Conference on Machine Learning (ICML)
Milan Cvitkovic, Badal Singh, and Anima Anandkumar. 2019 · 2019
Later among the works it cites.
Neural Reverse Engineering of Stripped Binaries
Yaniv David, Uri Alon, and Eran Yahav. 2019 · 2019
Later among the works it cites.
Structured neural summarization
Patrick Fernandes, Miltiadis Allamanis, and Marc Brockschmidt. 2019 · 2019
Later among the works it cites.
Continuously reasoning about programs using differential Bayesian inference. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation . ACM, 561–575
Kihong Heo, Mukund Raghothaman, Xujie Si, and Mayur Naik. 2019 · 2019
Later among the works it cites.
Maybe Deep Neural Networks are the Best Choice for Modeling Source Code
Rafael-Michael Karampatsis and Charles Sutton. 2019 · 2019
Later among the works it cites.
DIRE: A Neural Approach to Decompiled Identifier Naming. In Proceedings of the International Conference on Automated Software Engineering (ASE)
Jeremy Lacomis, Pengcheng Yin, Edward J Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, and Bogdan Vasilescu. 2019 · 2019
Later among the works it cites.
NL2Type: inferring JavaScript function types from natural language information. In Proceedings of the 41st International Conference on Software Engineering . IEEE Press, 304–315
Rabee Sohail Malik, Jibesh Patra, and Michael Pradel. 2019 · 2019
Later among the works it cites.
What is the difference between a string and a byte string?
Stack Overflow. 2011 · 2019
Later among the works it cites.
Annoy: Approximate Nearest Neighbors
Spotify and Contributors. 2019 · 2019
Later among the works it cites.
Neural Program Repair by Jointly Learning to Localize and Repair
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, and Rishabh Singh. 2019 · 2019
Later among the works it cites.
typing – Support for type hints
Python Software Foundation. 2020 · 2020
Closest in time.
Summarizing source code using a neural attention model. In Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , Vol. 1. 2073–2083
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, and Luke Zettlemoyer. 2016 · 2083
Closest in time.