Scientific papers

This section lists all scientific papers that we are using for this project.

LEARNING A STATIC ANALYZER: A CASE STUDY ON A TOY LANGUAGE

A short summary of this paper could be found here

Convolutional Neural Networks over Tree Structures for Programming Language Processing

Learning a Static Analyzer from Data

Finding and correcting syntax errors using recurrent neural networks

Building Program Vector Representations for Deep Learning

Supervised Deep Features for Software Functional Clone Detection by Exploiting Lexical and Syntactical Information in Source Code

A Sound Type System for Secure Flow Analysis

calhoun.nps.edu