Latest Articles for Programming Languages

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.

A new system enhances monitoring of WebAssembly applications without impacting performance.

Introducing a programming language to improve robot decision-making and task execution.

A new memory allocator offers enhanced safety and performance for software development.

Explore enriched categories and their impact on mathematics and computer science.

Examining PEFT methods in LLMs for code generation and summarization in R.

A framework simplifies peephole optimizations for better performance in Java applications.

A new framework simplifies testing JIT compilers by generating automated test cases.

A new method to ensure JavaScript regex reliability and clarity.

Discover the basics and significance of dependent type theory in computation.

Learn how SSR enhances proof management in Lean 4.

Improving efficiency in Datalog through semirings and grounding techniques.

Differentiable logics enhance machine learning through improved formal verification and training techniques.

Exploring how AI impacts software development and coding practices.

Gillian-Rust offers a novel way to verify unsafe Rust code effectively.

A study highlights data contamination's impact on code model evaluations.

A framework to generate code repositories using simple language requirements.

A new method to confirm SQL integrity based on OCL rules.

A look into OPDL's role in reasoning about concurrent programs.

Learn how LLMs can help make C programming safer and more efficient.

A study on developers' use of unsafe code in Rust.

A new framework aims to improve DSL interoperability and efficiency in HPC.