Latest Articles for Programming Languages

A new approach enhances the performance of code generated by large language models.

A study on common database access bugs and recommendations for developers.

Research shows effective use of high-level languages for large integer operations on GPUs.

This framework automates the generation of tests to improve exception handling in software.

Qwerty makes quantum programming more accessible and efficient for developers.

Exploring the role of AI in fixing software vulnerabilities.

Innopolis University leads research on handling identifiers in programming languages.

A tool that leverages AI to generate helper assertions for Dafny code verification.

A clear guide to inductive and coinductive definitions and their significance.

A new approach to enhance array performance in programming.

A look at improving safety in aerospace software with Rust.

A look into reflexive graphs and their applications through lenses.

A new assistant uses AI to streamline digital hardware design and RTL code creation.

This study evaluates LCGMs' performance on coding tasks in English and Chinese.

Learn how Julia boosts Stata's statistical capabilities for large datasets.

A look at how Rust facilitates distributed shared memory management.

A new method enhances code generation for specialized programming languages.

Exploring how AI facilitates code conversion between programming languages.

A new metric to gauge how hard it is to compile programming languages.

A new benchmark to assess LLMs for Java programming tasks.

MARVeLus bridges verification and implementation for safer cyber-physical systems.

Exploring the benefits of regular look-around in attributed tree transducers.

A new method enhances LLMs for generating high-quality UI code.

An overview of multi-arity structures and their significance in logic and computation.

Combining fuzzing and language models to improve software testing efficiency.

DafnyBench benchmarks software verification tools, paving the way for reliable programming.

Examining the impact of deprecated APIs on LLM code suggestions.

A new approach combines knowledge and technology to improve software vulnerability detection.

Explores improved querying techniques for efficient data management through XPath.

A framework improves code generation for specialized languages using documentation.

A new tool uses machine learning to detect performance bugs effectively.

Explore how model order enhances diagram layouts and captures user intent.

A study on Copilot's ability to generate code across various programming languages.

A new dataset improves code search efficiency for developers using natural language queries.

APPL streamlines development with large language models using an intuitive, Python-like syntax.

An overview of a substitution algorithm in Multimode Type Theory.

New methods enhance uncomputation efficiency in complex quantum programs.

This study discusses using machine learning to improve type inference in programming languages.

A new method improves code repair for underused programming languages.

Learn about PEGs, their history, structure, and applications in programming and parsing.