The field of graph neural networks (GNNs) has seen rapid and incredible strides over the
recent years. Graph neural networks, also known as deep learning on graphs, graph …

Abstract Machine learning-based program analyses have recently shown the promise of
integrating formal and probabilistic reasoning towards aiding software development …

Program analysis aims to determine if a program's behavior complies with some
specification. Commonly, program analyses need to be defined and tuned by humans. This …

To save effort, developers often translate programs from one programming language to
another, instead of implementing it from scratch. Translating application program interfaces …

Constructing compilers is hard. Optimising compilers are multi-million dollar projects
spanning years of development, yet remain unable to fully exploit the available performance …

Usually automated programming systems consist of two parts: source code analysis and
source code generation. This paper is focused on the first part. Automated source code …

Programmers often need to migrate programs from one language or platform to another in
order to implement functionality, instead of rewriting the code from scratch. However, most …

One possible way to reduce bugs in source code is to create intelligent tools that make the
development process easier. Such tools often use vector representations of the source code …

Machine learning (ML) is making its way into the source code analysis. Most of the time, this
happens with the help of Natural Language Processing (NLP) techniques. However, NLP …

Одним из возможных способов уменьшения ошибок в исходном коде является
создание интеллектуальных инструментов, облегчающих процесс разработки. Такие …