Latest Articles for Software Development

Examining challenges blind and low vision software professionals face in career advancement.

Exploring methods to assess program reliability on fast, small chips.

Explore transformations to enhance natural language test quality.

A new method aims to automate testing in changing compiler environments.

This article discusses a method for managing typed terms in programming.

A new system improves function scheduling and resource management in serverless computing.

Analyzing the behavior and termination of linear constraint loops in programming.

A new system streamlines 3D design tasks in Blender using advanced AI models.

Simplifying large dataset analysis in proteomics and interactomics with ThunderBolt.

A new framework enhances compiler verification methods for better accuracy.

A unified framework for improving software debugging processes.

ALock simplifies synchronization in RDMA, boosting performance and reducing latency.

An overview of testing methods for deep learning libraries and their significance.

Study reveals vulnerabilities in code produced by large language models.

Discover how HyperLTL model-checking enhances the security of software systems.

Tenspiler streamlines code adaptation, enabling developers to keep pace with technology changes.

Learn how dynamic logic aids in verifying program behavior effectively.

A new type system enhances C++ generation from Isabelle/HOL specifications, improving accuracy.

A study on the effectiveness of SAST tools for smart contracts.

Converter streamlines application deployment across cloud and edge environments.

A new framework for assessing the performance of RAG systems.

Workload Intelligence bridges the gap between cloud platforms and workloads, enhancing performance.

A new method detects data races with improved accuracy and low overhead.

This tool improves the conversion of code to Rust, focusing on safety and readability.

This article discusses PyLaia's advancements in text recognition using language models.

A look at the security threats posed by instruction-tuned Code LLMs.

Ethraid helps researchers study distant star companions using limited data.

SUGAR simplifies geometric algebra for engineers and mathematicians using Matlab.

New components improve memory efficiency and processing speed in 3D generation.

Learn how to determine when programs that use randomness will stop running.

A look into how we compare and analyze system behaviors using various techniques.

This article explores the bias in code generation models across different languages.

Assessing the reliability of AI-produced summaries for improved software maintenance.

An overview of code hallucinations in LLMs and their impact on software development.

New metrics aim to improve code security and correctness with LLMs.

Berrify strengthens BPF security against Spectre vulnerabilities without sacrificing performance.

WorkBench tests agents' ability to perform realistic office tasks with a unique evaluation method.

A study on the use of Bazel for faster CI builds.

Learn how stack traces can enhance bug-fixing efforts in software development.

Explore the benefits of AMD's new MI300A computing unit for high-performance applications.