arrow
返回

Predicting Program Properties from 'Big Code'

delete2019-02-21
delete11
PRE
AI
V
Veselin Raychev *
M
Martin Vechev
A
Andreas Krause
DOI:10.1145/3306204delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
We present a new approach for predicting program properties from large codebases (aka Big Code). Our approach learns a probabilistic model from Big Code and uses this model to predict properties of new, unseen programs. The key idea of our work is to transform the program into a representation that allows us to formulate the problem of inferring program properties as structured prediction in machine learning. This enables us to leverage powerful probabilistic models such as Conditional Random Fields (CRFs) and perform joint prediction of program properties. As an example of our approach, we built a scalable prediction engine called JSNICE for solving two kinds of tasks in the context of JavaScript: predicting (syntactic) names of identifiers and predicting (semantic) type annotations of variables. Experimentally, JSNICE predicts correct names for 63% of name identifiers and its type annotation predictions are correct in 81% of cases. Since its public release at http://jsnice.org, JSNice has become a popular system with hundreds of thousands of uses. By formulating the problem of inferring program properties as structured prediction, our work opens up the possibility for a range of new Big Code applications such as de-obfuscators, decompilers, invariant generators, and others.
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM 封面图
Communications of the ACM
IF:
12.2
论文数:
1.2W
被引数:
3.7W

机构

S
swiss federal institutes of technology domain
学者数:
9.0W
论文数: 8.0W
被引数: 163
引用论文

引用论文

Palladium(II) complexes of anthraquinone-based As–O–As type and Se–O–Se type bipodands. Synthesis, X-ray crystallography and catalytic properties
err2015-04-01
err0
PREAI
errKadarkaraisamy Mariappan; Janani Sindhu Ragothaman; Vinothini Balasubramanian; Mariah Hoffman; Madhubabu Alaparthi; Andrew G. Sykes
err分享
err收藏