SENEMar 9, 2021

Mining Program Properties From Neural Networks Trained on Source Code Embeddings

arXiv:2103.05442v1
Originality Incremental advance
AI Analysis

This work addresses the challenge of understanding neural network representations in code analysis, potentially aiding programmers in software development tools, but it is incremental as it builds on existing embedding and autoencoder methods.

The authors tackled the problem of mining program properties from neural networks trained on source code embeddings by analyzing internal neuron behavior, showing that some neurons can detect program features with performance varying by embedding strategy.

In this paper, we propose a novel approach for mining different program features by analysing the internal behaviour of a deep neural network trained on source code. Using an unlabelled dataset of Java programs and three different embedding strategies for the methods in the dataset, we train an autoencoder for each program embedding and then we test the emerging ability of the internal neurons in autonomously building internal representations for different program features. We defined three binary classification labelling policies inspired by real programming issues, so to test the performance of each neuron in classifying programs accordingly to these classification rules, showing that some neurons can actually detect different program properties. We also analyse how the program representation chosen as input affects the performance on the aforementioned tasks. On the other hand, we are interested in finding the overall most informative neurons in the network regardless of a given task. To this aim, we propose and evaluate two methods for ranking neurons independently of any property. Finally, we discuss how these ideas can be applied in different settings for simplifying the programmers' work, for instance if included in environments such as software repositories or code editors.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes