Latest Articles for Programming

A fresh method for training code models focusing on semantics and execution behavior.

Innovative method improves bug fixing efficiency using LLM-generated patches.

A new method helps programmers verify units in scientific software.

A guide to transforming non-idiomatic Python code using modern techniques.

StackSight transforms WebAssembly into readable C++ code using AI techniques.

Explore how patterns function in various fields through real-world materials.

Research merges regular expressions and fixed points for complex language definitions.

Introducing a framework to enhance decision-making in language agents during complex tasks.

This study assesses how GPT-4 aids in reverse engineering tasks.

This paper introduces a method to ensure quality in LLM-generated code.

This study examines how social perceptions affect student interactions with LLMs in programming courses.

This article discusses the risks of package hallucinations in code-generating models.

AI-generated exercises make programming more engaging for students.

A look into how LLMs tackle programming by example challenges.

A dual-language approach enhances correctness while maintaining speed in programming.

Large language models improve differential testing in software development.

Study explores static analysis to enhance repository-level code completion.

This study evaluates how LLMs can enhance mutation testing in software development.

A new type system enhances rounding error analysis for numerical calculations.

Examining the limitations of large language models in understanding code relationships.

TreeInstruct guides students in debugging through effective questioning methods.

Learn how probabilistic programming helps analyze uncertainty in data.

A study on automating title generation for better developer responses.

A new code review system helps students gain better feedback in programming.

Enhancing logic programming performance by analyzing variable sharing and linearity.

Celebrating good coding practices with code perfumes for Java learners.

AI tools are reshaping programming education, affecting student learning and confidence.

LASSI helps translate computer programs for efficient scientific computing.

Simplified methods outperform complex agents in software problem-solving.

A new benchmark addresses challenges in code retrieval for developers.

Exploring how video games can teach essential programming skills effectively and engagingly.

Qrisp simplifies quantum programming with user-friendly tools and high-level abstractions.

A study on LLMs providing feedback for programming education.

A look into WebAssembly analysis methods for secure execution.

Exploring choreographic programming with algebraic effects to enhance distributed application development.

New methods improve code generation efficiency and accessibility for programmers.

A strategy game where players program workers to reach their jobs amidst obstacles.

Exploring the use of case studies to enrich programming language learning.

A study on teaching cybersecurity in computer programming courses.

A new method merges LLMs with traditional disassembly techniques for effective analysis.