The interest in quantum computing is growing, and with it, the importance of software
platforms to develop quantum programs. Ensuring the correctness of such platforms is …

AI-driven code editor extensions such as Visual Studio IntelliCode and Github CoPilot have
become extremely popular. These tools recommend inserting chunks of code, with the lines …

The ability to learn programs from few examples is a powerful technology with disruptive
applications in many domains, as it allows users to automate repetitive tasks in an intuitive …

Integrated Development Environments (IDEs) provide tool support to automate many source
code editing tasks. Traditionally, IDEs use only the spatial context, ie, the location where the …

Programming by example (PBE) is an emerging programming paradigm that automatically
synthesizes programs specified by user-provided input-output examples. Despite the …

Whenever a bug or vulnerability is detected in the Linux kernel, the kernel developers will
endeavour to fix it by introducing a patch into the mainline version of the Linux kernel source …

Use of third-party libraries is extremely common in application software. The libraries evolve
to accommodate new features or mitigate security vulnerabilities, thereby breaking the …

Software developers frequently confront a recurring challenge of making code
transformations—similar but not entirely identical code changes in many places—in their …

The source code of successful projects is evolving all the time, resulting in hundreds of
thousands of code changes stored in source code repositories. This wealth of data can be …

APIs matter in software development, but determining how to use them can be challenging.
Developers often refer to a small set of API usage examples, analysing the information there …