Latest Articles for Programming Languages

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.

Examining the security implications of AI-generated code using security APIs.

A new method improves trust in automated program verification.

A new approach to streamline effectful computations in programming languages.

This paper presents an efficient tree diffing method using SAT solving.

A guide to teaching programming language semantics using sets and relations.

Learn about WebPie, a simple language using dependent types for safe programming.

A look into how different evaluation strategies impact programming meaningfulness.

A look into how LLMs summarize code and factors affecting their performance.

This research examines using information flow to spot potential code conflicts.

A new method for confirming program termination in complex probabilistic environments.

A system to streamline using OWL in object-oriented programming.

A look at new methods for optimizing AI code performance.

This study examines quality problems in prompts for code generation models.

Using LLMs to enhance mutation testing effectiveness and software quality.

3DGen uses AI to turn informal data descriptions into secure code.

AID uses LLMs and differential testing to enhance bug detection in software.

Learn how undefined behavior affects Rust libraries using foreign functions.

Evaluating accessible AI models for generating Python code with standard hardware.

This research focuses on a new type system combining evaluation strategies in programming languages.