paper-with-me

홈 › Papers

Mining Program Properties From Neural Networks Trained on Source Code Embeddings

2021-03-09 · Martina Saletta, Claudio Ferretti

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.

📄 PDF Abstract BibTeX arXiv:2103.05442

Code (0)

등록된 구현이 없습니다.

Tasks

Binary Classification

Methods 이 논문이 사용한 방법론

Solana Customer Service Number +1-833-534-1729 설명 없음

Similar Papers 제목 키워드 기반

SCC: Automatic Classification of Code Snippets

2018-09-21 · Kamel Alreshedy, Dhanush Dharmaretnam, Daniel M. German, Venkatesh Srinivasan 외

Determining the programming language of a source code file has been considered in the research community; it has been shown that Machine Learning (ML) and Natural Language Processing (NLP) algorithms can be effective in …

ClassificationCode ClassificationGeneral Classification

Reasoning Distillation for Lightweight Automated Program Repair

2026-01-16 · Aanand Balasubramanian, Sashank Silwal arxiv

We study whether lightweight symbolic reasoning supervision can improve fix type classification in compact automated program repair models. Small code models are attractive for resource-constrained settings, but they typ…

Type predictionProgram Repair

Program Classification Using Gated Graph Attention Neural Network for Online Programming Service

2019-03-09 · Mingming Lu, Dingwu Tan, Naixue Xiong, Zailiang Chen 외

The online programing services, such as Github,TopCoder, and EduCoder, have promoted a lot of social interactions among the service users. However, the existing social interactions is rather limited and inefficient due t…

General ClassificationGraph AttentionGraph Neural Network

Transformers for Program Termination

2026-03-25 · Yoav Alon, Cristina David arxiv

Determining whether a program terminates is a core challenge in program analysis with direct implications for correctness, verification, and security. We investigate whether transformer architectures can recognise termin…

Transactional Python for Durable Machine Learning: Vision, Challenges, and Feasibility

2023-05-15 · Supawit Chockchowwat, Zhaoheng Li, Yongjoo Park

In machine learning (ML), Python serves as a convenient abstraction for working with key libraries such as PyTorch, scikit-learn, and others. Unlike DBMS, however, Python applications may lose important data, such as tra…