Latest Articles for Programming Languages

Examining challenges transformer models face in learning structural recursion.

Discover the role of monadic intersection types in improving programming language type systems.

Examining teaching methods to improve learning through various representations.

A study on the roles of paid developers and volunteers in Rust projects.

Learn how static analysis tools like C Analyzer improve software reliability.

A new model supports efficient communication in choreographic programming.

Introducing a framework for customizable graph representations in code analysis.

Combining LLMs and formal verification to improve programming accuracy and efficiency.

This study proposes new syntactic sugars based on real coding patterns in Java.

A new framework for understanding cost in probabilistic functional programming.

A new method improves code understanding through extensive data and training techniques.

A look at adjoint logic and its applications in programming and computation.

A new dataset and model for enhancing machine learning in formal proofs using Agda.

A dataset to enhance the accuracy of unit test generation using large language models.

Discover how Object Graph Programming simplifies data handling in software development.

A new tool aims to simplify the conversion of Redex models to Coq.

This article explains the basics of program semantics and its key concepts.

This article discusses the role of bounded nondeterminism in program behavior management.

A new fuzzer enhances bug detection in LLVM's complex codebase.

Exploring the connection between functions and types in affine lambda calculus.

A new tool uses language models to automate repetitive code changes efficiently.

An overview of distributed systems, synchronization, and safety methods.

An analysis of jet finding algorithms in various programming languages used in high energy physics.

Introducing a framework for clearer semantics in probabilistic programming languages.

New technique improves bug detection in JavaScript engines using advanced models.

A look into an unconventional approach to expression evaluation.

A new method trains code models effectively without relying on symbols.

This article explores how comment generation improves large language models’ coding abilities.

Learn how to prevent internal failures in software programming effectively.

Learn how MPST enhances communication processes in distributed systems.

Learn about CFGs and FSAs, their properties, and applications in programming and linguistics.

This study examines the rise of CI/CD practices among developers from 2012 to 2023.

CatCode aims to improve evaluation of LLMs in coding and language tasks.

A look at higher categories and their significance in modern mathematics.

A look into denotational interpreters and their role in program analysis.

Study reveals significant data overlap affecting language model evaluations in code generation.

This study improves code models using compiler intermediate representations for better multilingual performance.

Introducing a new language for clear and efficient access permissions.

New AST-based tool improves code comparison accuracy and developer collaboration.

Creating a system to compare libraries across programming languages effectively.