Latest Articles for Programming

This research focuses on generating pseudo-programs to enhance reasoning tasks in models.

Explore how parametricity and cohesion shape reliable type systems.

Examining how AI tools influence learning for beginner coders.

An overview of essential concepts in computer science related to completion and rewrite systems.

New framework improves answer quality in programming communities.

This article examines how data arrangement impacts program speed and efficiency.

Enhancing LLMs' ability to refine their code through self-debugging techniques.

Learn how game semantics clarifies program functions through interactive models.

A new model that enhances code generation using multi-source data.

A new framework enhances smaller models' abilities in robot programming.

A new method enhances code completion using data flow analysis.

Learn how to analyze LULC data using R packages.

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.