Predicting program properties from ``big code

DOI10.1145/2676726.2677009MaRDI QIDQ2819795zbMATH OpenOpenAlexWikidataFDO

Authors Veselin Raychev, Martin Vechev, Andreas Krause

Publication date 29 September 2016

Published in Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2676726.2677009

zbMATH Keywords

typesconditional random fieldsstructured predictionnamesprogram propertiesJavaScriptbig codeclosure compiler

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Symbolic automata for representing big code
• Learning programs from noisy data
• Learning a static analyzer from data
• Semantic code browsing
• Code2Inv: a deep learning framework for program verification

Cited in

(4)

• Deep Generation of Coq Lemma Names Using Elaborated Terms
• JSNice
• The flowing nature matters: feature learning from the control flow graph of source code for bug localization
• Learning a Strategy for Choosing Widening Thresholds from a Large Codebase

Describes a project that uses

Uses Software

• Merlin
• TypeScript
• JavaScript

This page was built for publication: Predicting program properties from ``big code

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819795)