Fetching the paper…
Reading the bibliography…
Python type inference is challenging in practice.
D. Böhning, “Multinomial logistic regression algorithm,” Annals of the institute of Statistical Mathematics , vol. 44, no. 1, pp. 197–200, 1992
1992
Earlier work this paper cites.
P. Gage, “A new algorithm for data compression,” The C Users Journal , vol. 12, no. 2, pp. 23–38, 1994
1994
Earlier work this paper cites.
O. Agesen, “The cartesian product algorithm,” in European Conference on Object-Oriented Programming . Springer, 1995, pp. 2–26
1995
Earlier work this paper cites.
M. Abadi and L. Cardelli, “A theory of objects,” 1996
1996
Earlier work this paper cites.
M. Schuster and K. K. Paliwal, “Bidirectional recurrent neural networks,” IEEE Transactions on Signal Processing , vol. 45, no. 11, pp. 2673–2681, 1997
1997
Earlier work this paper cites.
Y. Shibata, T. Kida, S. Fukamachi, M. Takeda, A. Shinohara, T. Shinohara, and S. Arikawa, “Byte pair encoding: A text compression scheme that accelerates pattern matching,” Technical Report DOI-TR-161, Department of Informatics, Kyushu University, Tech. Rep., 1999
1999
Earlier work this paper cites.
M. Salib, “Starkiller: A static type inferencer and compiler for python,” Ph.D. dissertation, Massachusetts Institute of Technology, 2004
2004
Earlier work this paper cites.
B. Cannon, “Localized type inference of atomic types in python,” Ph.D. dissertation, Citeseer, 2005
2005
Earlier work this paper cites.
C. Winter and T. Lownds. (2006) Pep 3107 – function annotations. [Online]. Available: https://www.python.org/dev/peps/pep-3107/
2006
Earlier work this paper cites.
Y. Wang. (2013) Pysonar2: an advanced semantic indexer for python. [Online]. Available: https://github.com/yinwang0/pysonar2/
2013
Earlier work this paper cites.
T. Mikolov, I. Sutskever, K. Chen, G. S. Corrado, and J. Dean, “Distributed representations of words and phrases and their compositionality,” in Advances in neural information processing systems , 2013, pp. 3111–3119
2013
Earlier work this paper cites.
J. Lehtosalo, G. van Rossum, I. Levkivskyi, M. J. Sullivan, D. Fisher, G. Price et al. (2014) mypy - optional static typing for python. [Online]. Available: http://www.mypy-lang.org/
2014
Earlier work this paper cites.
G. Bierman, M. Abadi, and M. Torgersen, “Understanding typescript,” in European Conference on Object-Oriented Programming . Springer, 2014, pp. 257–281
2014
Earlier work this paper cites.
M. M. Vitousek, A. M. Kent, J. G. Siek, and J. Baker, “Design and evaluation of gradual typing for python,” in ACM SIGPLAN Notices , vol. 50, no. 2. ACM, 2014, pp. 45–56
2014
Earlier work this paper cites.
J. Pennington, R. Socher, and C. Manning, “Glove: Global vectors for word representation,” in Proceedings of the 2014 conference on empirical methods in natural language processing (EMNLP) , 2014, pp. 1532–1543
2014
Earlier work this paper cites.
2014
Earlier work this paper cites.
Q. Le and T. Mikolov, “Distributed representations of sentences and documents,” in International conference on machine learning , 2014, pp. 1188–1196
2014
Cited alongside, same era.
2014
Cited alongside, same era.
G. van Rossum, J. Lehtosalo, and Łukasz Langa. (2014) Pep 484 – type hints. [Online]. Available: https://www.python.org/dev/peps/pep-0484/
2014
Cited alongside, same era.
V. Raychev, M. Vechev, and E. Yahav, “Code completion with statistical language models,” in Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation , 2014, pp. 419–428
2014
Cited alongside, same era.
M. Kramm, R. Chen, T. Sudol, M. Demello, A. Caceres, D. Baum et al. (2015) pytype a static type analyzer for python code. [Online]. Available: https://google.github.io/pytype/
V. J. Hellendoorn, C. Bird, E. T. Barr, and M. Allamanis, “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 , 2018, pp. 152–162
2018
Later among the works it cites.
M. Pradel and K. Sen, “Deepbugs: A learning approach to name-based bug detection,” Proceedings of the ACM on Programming Languages , vol. 2, no. OOPSLA, pp. 1–25, 2018
2018
Later among the works it cites.
2018
Later among the works it cites.
2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2015
Cited alongside, same era.
D. Fisher, Łukasz Langa, J. Lehtosalo, I. Levkivskyi, M. Kramm, G. Price et al. (2015) Collection of library stubs for python, with static types. [Online]. Available: https://github.com/python/typeshed/
2015
Cited alongside, same era.
2015
Cited alongside, same era.
V. Raychev, M. Vechev, and A. Krause, “Predicting program properties from” big code”,” ACM SIGPLAN Notices , vol. 50, no. 1, pp. 111–124, 2015
2015
Cited alongside, same era.
Z. Xu, X. Zhang, L. Chen, K. Pei, and B. Xu, “Python probabilistic type inference with natural language support,” in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering . ACM, 2016, pp. 607–618
2016
Cited alongside, same era.
X. Ye, H. Shen, X. Ma, R. Bunescu, and C. Liu, “From word embeddings to document similarities for improved information retrieval in software engineering,” in Proceedings of the 38th international conference on software engineering , 2016, pp. 404–415
2016
Cited alongside, same era.
A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, Ł. Kaiser, and I. Polosukhin, “Attention is all you need,” in Advances in neural information processing systems , 2017, pp. 5998–6008
2017
Cited alongside, same era.
T. Grue, S. Vorobev, J. Lehtosalo, and G. van Rossum. (2017) Pyannotate: Auto-generate pep-484 annotations. [Online]. Available: https://github.com/dropbox/pyannotate/
2017
Cited alongside, same era.
Y. Luo, W. Ma, Y. Li, Z. Chen, and L. Chen, “Recognizing potential runtime types from python docstrings,” in International Conference on Software Analysis, Testing, and Evolution . Springer, 2018, pp. 68–84
2018
Later among the works it cites.
G. Zhao and J. Huang, “Deepsim: deep learning code functional similarity,” in Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering , 2018, pp. 141–151
2018
Later among the works it cites.
U. Alon, M. Zilberstein, O. Levy, and E. Yahav, “A general path-based representation for predicting program properties,” ACM SIGPLAN Notices , vol. 53, no. 4, pp. 404–419, 2018
2018
Later among the works it cites.
Microsoft. (2019) Pyright - static type checker for python. [Online]. Available: https://github.com/microsoft/pyright
2019
Later among the works it cites.
R. S. Malik, J. Patra, and M. Pradel, “Nl2type: inferring javascript function types from natural language information,” in 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) . IEEE, 2019, pp. 304–315
2019
Later among the works it cites.
2019
Later among the works it cites.
2019
Later among the works it cites.
2019
Later among the works it cites.
U. Alon, M. Zilberstein, O. Levy, and E. Yahav, “code2vec: Learning distributed representations of code,” Proceedings of the ACM on Programming Languages , vol. 3, no. POPL, pp. 1–29, 2019
2019
Later among the works it cites.
2020
Later among the works it cites.