Cited by 79

The DOI matches its Crossref record; 2 of the 2 references it cites were found in a registry or an index.

A general path-based representation for predicting program properties

Alon, Uri, Zilberstein, Meital, Levy, Omer, Yahav, Eran·2018·Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation

Abstract

Predicting program properties such as names or expression types has a wide range of applications. It can ease the task of programming, and increase programmer productivity. A major challenge when learning from programs is how to represent programs in a way that facilitates effective learning.

Overview

Integrity signals

Registry

Crossref · 10.1145/3192366.3192412

Cites

2 of 2 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

This paper’s full text isn’t openly available, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • Code-DKT's code extraction component is based on code2vec but adds score to the attention mechanism to assign weights to code paths for predictions.

    “Code-DKT's code extraction component is based on the code2vec model, but adds score to the attention mechanism to assign weights to code paths [4] for predictions.”
  • Code-DKT uses the code2vec model to learn a representation of student code and combines it with DKT to track student progress.

    “we introduce a novel code-based deep knowledge tracing (Code-DKT) model, which uses the code2vec model [4] to learn a meaningful representation of student code, and combines this with Deep Knowledge Tracing (DKT) [34] to track student progress.”

Citations

Cites

Flagged first, then by citations

Research works printed but not linked: 39

  1. 10.1145/2635868.2635883 · DOI
  2. 10.1145/2786805.2786849 · DOI
  3. Miltiadis Allamanis , Hao Peng , and Charles A. Sutton . 2016. A Convolutional Attention Network for Extreme Summarization of Source Code . In Proceedings of the 33nd International Conference on Machine Learning, ICML 2016 , New York City, NY, USA , June 19-24, 2016 . 2091- 2100. http://jmlr.org/proceedings/papers/v48/allamanis16.html Miltiadis Allamanis, Hao Peng, and Charles A. Sutton. 2016. A Convolutional Attention Network for Extreme Summarization of Source Code. In Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19-24, 2016. 2091- 2100. http://jmlr.org/proceedings/papers/v48/allamanis16.html
  4. 10.1145/2635868.2635901 · DOI
  5. Miltiadis Allamanis , Daniel Tarlow , Andrew D. Gordon , and Yi Wei . 2015 . Bimodal Modelling of Source Code and Natural Language . In Proceedings of the 32nd International Conference on Machine Learning (JMLR Proceedings) , Vol. 37 . JMLR.org, 2123 - 2132 . Miltiadis Allamanis, Daniel Tarlow, Andrew D. Gordon, and Yi Wei. 2015. Bimodal Modelling of Source Code and Natural Language. In Proceedings of the 32nd International Conference on Machine Learning (JMLR Proceedings), Vol. 37. JMLR.org, 2123-2132.
  6. Yoshua Bengio , Réjean Ducharme , Pascal Vincent , and Christian Janvin . 2003. A Neural Probabilistic Language Model. J. Mach. Learn. Res. 3 (March 2003 ), 1137-1155. http://dl.acm.org/citation.cfm?id=944919.944966 Yoshua Bengio, Réjean Ducharme, Pascal Vincent, and Christian Janvin. 2003. A Neural Probabilistic Language Model. J. Mach. Learn. Res. 3 (March 2003), 1137-1155. http://dl.acm.org/citation.cfm?id=944919.944966
  7. 10.1145/2976749.2978422 · DOI
  8. Pavol Bielik , Veselin Raychev , and Martin T. Vechev . 2016. PHOG: Probabilistic Model for Code . In Proceedings of the 33nd International Conference on Machine Learning, ICML 2016 , New York City, NY, USA , June 19-24, 2016 . 2933-2942. http://jmlr.org/proceedings/papers/v48/bielik16.html Pavol Bielik, Veselin Raychev, and Martin T. Vechev. 2016. PHOG: Probabilistic Model for Code. In Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19-24, 2016. 2933-2942. http://jmlr.org/proceedings/papers/v48/bielik16.html
  9. S. Butler , M. Wermelinger , Y. Yu , and H. Sharp . 2009 . Relating Identifier Naming Flaws and Code Quality: An Empirical Study. In 2009 16th Working Conference on Reverse Engineering. 31-35 . S. Butler, M. Wermelinger, Y. Yu, and H. Sharp. 2009. Relating Identifier Naming Flaws and Code Quality: An Empirical Study. In 2009 16th Working Conference on Reverse Engineering. 31-35.
  10. 10.1145/1390156.1390177 · DOI · Paper page
  11. Ronan Collobert , Jason Weston , Léon Bottou , Michael Karlen , Koray Kavukcuoglu , and Pavel Kuksa . 2011 . Natural language processing (almost) from scratch . Journal of Machine Learning Research 12 , Aug (2011), 2493 - 2537 . Ronan Collobert, Jason Weston, Léon Bottou, Michael Karlen, Koray Kavukcuoglu, and Pavel Kuksa. 2011. Natural language processing (almost) from scratch. Journal of Machine Learning Research 12, Aug (2011), 2493-2537.
  12. 10.1145/2884781.2884786 · DOI
  13. 10.1162/089120102760275983 · DOI
  14. Trevor Hastie , Robert Tibshirani , and Jerome Friedman . 2001. The Elements of Statistical Learning . Springer New York Inc ., New York, NY, USA. Trevor Hastie, Robert Tibshirani, and Jerome Friedman. 2001. The Elements of Statistical Learning. Springer New York Inc., New York, NY, USA.
  15. 10.5555/2337223.2337322 · DOI
  16. Einar W. Høst and Bjarte M. Østvold. 2009. Debugging Method Names . In Proceedings of the 23rd European Conference on ECOOP 2009 -- Object-Oriented Programming (Genoa). Springer-Verlag , Berlin, Heidelberg , 294 - 317 . Einar W. Høst and Bjarte M. Østvold. 2009. Debugging Method Names. In Proceedings of the 23rd European Conference on ECOOP 2009 -- Object-Oriented Programming (Genoa). Springer-Verlag, Berlin, Heidelberg, 294-317.
  17. 10.18653/v1/P16-1195 · DOI
  18. 10.1145/2661136.2661148 · DOI
  19. D. Koller N. Friedman L. Getoor and B. Taskar. 2007. Graphical Models in a Nutshell. In Introduction to Statistical Relational Learning L. Getoor and B. Taskar (Eds.). MIT Press. D. Koller N. Friedman L. Getoor and B. Taskar. 2007. Graphical Models in a Nutshell. In Introduction to Statistical Relational Learning L. Getoor and B. Taskar (Eds.). MIT Press. · DOI
  20. John D. Lafferty , Andrew McCallum , and Fernando C. N. Pereira . 2001. Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data . In Proceedings of the Eighteenth International Conference on Machine Learning (ICML '01) . Morgan Kaufmann Publishers Inc., San Francisco, CA, USA , 282 - 289 . http://dl.acm.org/citation.cfm?id=645530.655813 John D. Lafferty, Andrew McCallum, and Fernando C. N. Pereira. 2001. Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data. In Proceedings of the Eighteenth International Conference on Machine Learning (ICML '01). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 282-289. http://dl.acm.org/citation.cfm?id=645530.655813
  21. Omer Levy and Yoav Goldberg . 2014 . Dependency-Based Word Embeddings. In ACL (2) . Citeseer , 302 - 308 . Omer Levy and Yoav Goldberg. 2014. Dependency-Based Word Embeddings. In ACL (2). Citeseer, 302-308.
  22. Omer Levy and Yoav Goldberg . 2014 . Neural Word Embeddings as Implicit Matrix Factorization . In Advances in Neural Information Processing Systems 27: Annual Conference on Neural Information Processing Systems 2014 , December 8-13 2014, Montreal, Quebec, Canada. 2177-2185. Omer Levy and Yoav Goldberg. 2014. Neural Word Embeddings as Implicit Matrix Factorization. In Advances in Neural Information Processing Systems 27: Annual Conference on Neural Information Processing Systems 2014, December 8-13 2014, Montreal, Quebec, Canada. 2177-2185.
  23. Ben Liblit , Andrew Begel , and Eve Sweeser . 2006 . Cognitive Perspectives on the Role of Naming in Computer Programs . In Proceedings of the 18th Annual Psychology of Programming Workshop. Psychology of Programming Interest Group , Sussex, United Kingdom. Ben Liblit, Andrew Begel, and Eve Sweeser. 2006. Cognitive Perspectives on the Role of Naming in Computer Programs. In Proceedings of the 18th Annual Psychology of Programming Workshop. Psychology of Programming Interest Group, Sussex, United Kingdom.
  24. 10.1145/3133908 · DOI · Paper page
  25. Chris J. Maddison and Daniel Tarlow. 2014. Structured Generative Models of Natural Source Code . In Proceedings of the 31st International Conference on International Conference on Machine Learning - Volume 32 (ICML'14). JMLR.org, II-649-II-657. http://dl.acm.org/citation.cfm?id=3044805.3044965 Chris J. Maddison and Daniel Tarlow. 2014. Structured Generative Models of Natural Source Code. In Proceedings of the 31st International Conference on International Conference on Machine Learning - Volume 32 (ICML'14). JMLR.org, II-649-II-657. http://dl.acm.org/citation.cfm?id=3044805.3044965
  26. 10.3115/v1/W15-1501 · DOI
  27. Tomas Mikolov , Kai Chen , Greg Corrado , and Jeffrey Dean . 2013. Efficient Estimation of Word Representations in Vector Space. CoRR abs/1301.3781 ( 2013 ). http://arxiv.org/abs/1301.3781 Tomas Mikolov, Kai Chen, Greg Corrado, and Jeffrey Dean. 2013. Efficient Estimation of Word Representations in Vector Space. CoRR abs/1301.3781 (2013). http://arxiv.org/abs/1301.3781 · arXiv
  28. Tomas Mikolov , Ilya Sutskever , Kai Chen , Greg Corrado , and Jeffrey Dean . 2013 . Distributed Representations of Words and Phrases and Their Compositionality . In Proceedings of the 26th International Conference on Neural Information Processing Systems (NIPS'13) . Curran Associates Inc., USA , 3111 - 3119 . http://dl.acm.org/citation.cfm?id=2999792.2999959 Tomas Mikolov, Ilya Sutskever, Kai Chen, Greg Corrado, and Jeffrey Dean. 2013. Distributed Representations of Words and Phrases and Their Compositionality. In Proceedings of the 26th International Conference on Neural Information Processing Systems (NIPS'13). Curran Associates Inc., USA, 3111-3119. http://dl.acm.org/citation.cfm?id=2999792.2999959
  29. 10.5555/3015812.3016002 · DOI
  30. Judea Pearl . 2014. Probabilistic reasoning in intelligent systems: networks of plausible inference . Elsevier . Judea Pearl. 2014. Probabilistic reasoning in intelligent systems: networks of plausible inference. Elsevier.
  31. Jeffrey Pennington , Richard Socher , and Christopher D. Manning . 2014 . GloVe : Global Vectors for Word Representation. In Empirical Methods in Natural Language Processing (EMNLP). 1532 - 1543 . http://www.aclweb.org/anthology/D14-1162 Jeffrey Pennington, Richard Socher, and Christopher D. Manning. 2014. GloVe: Global Vectors for Word Representation. In Empirical Methods in Natural Language Processing (EMNLP). 1532-1543. http://www.aclweb.org/anthology/D14-1162
  32. 10.1145/2983990.2984041 · DOI
  33. 10.1145/2837614.2837671 · DOI
  34. 10.1145/2676726.2677009 · DOI
  35. 10.1145/2666356.2594321 · DOI
  36. 10.1561/2200000013 · DOI
  37. Armstrong A. Takang , Penny A. Grubb , and Robert D. Macredie . 1996 . The effects of comments and identifier names on program comprehensibility: an experimental investigation . J. Prog. Lang. 4 , 3 (1996), 143 - 167 . http://compscinet.dcs.kcl.ac.uk/JP/jp040302.abs.html Armstrong A. Takang, Penny A. Grubb, and Robert D. Macredie. 1996. The effects of comments and identifier names on program comprehensibility: an experimental investigation. J. Prog. Lang. 4, 3 (1996), 143-167. http://compscinet.dcs.kcl.ac.uk/JP/jp040302.abs.html
  38. Joseph Turian , Lev Ratinov , and Yoshua Bengio . 2010 . Word Representations: A Simple and General Method for Semi-supervised Learning . In Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics (ACL '10) . Association for Computational Linguistics, Stroudsburg, PA, USA , 384 - 394 . http://dl.acm.org/citation.cfm?id=1858681.1858721 Joseph Turian, Lev Ratinov, and Yoshua Bengio. 2010. Word Representations: A Simple and General Method for Semi-supervised Learning. In Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics (ACL '10). Association for Computational Linguistics, Stroudsburg, PA, USA, 384-394. http://dl.acm.org/citation.cfm?id=1858681.1858721
  39. 10.1145/2986012.2986013 · DOI

Cited by

Sorted by citations

Metadata

Authors
Alon, U., Zilberstein, M., Levy, O., & Yahav, E.
Affiliations
  • Technion, Israel
  • University of Washington, USA
Venue
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
Publisher
ACM
Published
2018-06-11
Pages
404-419
Cited by
79
References
2

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review