Predicting program properties from ``big code

DOI10.1145/2676726.2677009zbMATH Open1346.68063OpenAlexW2156981320WikidataQ131119477 ScholiaQ131119477MaRDI QIDQ2819795FDOQ2819795

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

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

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)

Cited In (3)

• Deep Generation of Coq Lemma Names Using Elaborated Terms
• JSNice
• Learning a Strategy for Choosing Widening Thresholds from a Large Codebase

Uses Software

• JavaScript
• TypeScript
• Merlin

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)