Latest Articles for Programming

This paper examines key factors that affect test code readability for better software maintenance.

A new method enhances code generation by leveraging project-specific context and compiler feedback.

A system of handles improves memory management and reduces fragmentation in unmanaged languages.

TGMM simplifies detecting similar code across multiple programming languages.

New benchmarks reveal strengths and weaknesses of coding language models.

A tool for analyzing memory issues in C code.

CoderUJB evaluates LLM performance in real-world Java programming tasks.

A study on how well LLMs handle variations in mathematical prompts.

Study explores how different hint levels assist beginner programmers in learning.

A new model improves the analysis of WebAssembly code through mixed data understanding.

Effector helps explain regional effects in machine learning models for better insights.

Exploring how AI-Tutors enhance programming learning experiences for students.

A new method automates analysis of probabilistic program outputs.

A new method to speed up Stateflow model repair and reduce costs.

An analysis of how developers implement architectural solutions in open-source projects.

GATlab simplifies mathematical modeling for researchers and engineers.

A new method utilizes LLMs to automate bug fixing and feature addition.

A new method helps beginners understand code better in machine learning tutorials.

This system improves control and tracking of data in programming.

A new method uses LLMs to enhance program repair efficiency.

AniFrame makes programming art accessible for newcomers with an easy-to-use approach.

A new dataset to improve code generation using visuals.

This study evaluates how LLMs answer programming code questions.

Using AI to simplify PowerShell code creation for cybersecurity.

A new approach to error bounds using error credits for complex programs.

The CHC competition showcased advances in solvers and their applications in program verification.

This paper examines glitches in four classic Super Mario games and their significance.

Analyzing the behavior and termination of linear constraint loops in programming.

A look into TopKAT and its role in analyzing computer programs.

Aptly allows anyone to create mobile apps using simple language, breaking barriers in app development.

Learn how to determine when programs that use randomness will stop running.

Examining how human examples impact machine learning for programming tasks.

Learn how MLIR's Transform dialect enhances computation efficiency and code clarity.

AI is transforming the way we write and prove code correctness.

A comprehensive approach to analyze programs regardless of programming language.

Learn how predictive monitoring helps find bugs early in software development.

Exploring the link between separation logic and cryptographic security through independence.

GeckoGraph simplifies the understanding of polymorphic types through visual representation.

A new approach to creating beginner-friendly programming problems that remain challenging.

This article examines techniques for differentiating between human and AI-generated code.