Latest Articles for Software Development

This study examines how interval analysis improves the effectiveness of Bounded Model Checking.

A framework to simplify imaging data analysis for researchers.

New software enhances the detection of macromolecules in cryo-ET data.

Study reveals little link between department expertise and software accuracy.

A new method improves code repair for underused programming languages.

A new tool aims to identify vulnerabilities in cross-chain smart contracts.

A new framework improves detection of state-reverting vulnerabilities in smart contracts.

A new modular approach enhances variational inference in probabilistic programming languages.

INDICT enhances code safety and helpfulness using dual critique analysis.

Methods to reduce memory usage during fine-tuning of large models.

Identifying flaws in smart contracts to enhance security and reduce risk.

This article examines improvements in blockchain Layer 2 solutions for scalability and security.

Enhancing logic programming performance by analyzing variable sharing and linearity.

A deeper look into reasoning about programs with random elements.

Learn how debloating improves software performance and security by removing unnecessary code.

A new benchmarking suite improves compiler autotuning efficiency and effectiveness.

MPCoder tailors code to individual developers’ styles, improving productivity and code quality.

New methods reduce temporary results in complex aggregate queries.

Learn best practices for developing AI models responsibly and effectively.

This research focuses on using LLM-based agents for better software maintenance.

A new tool streamlines access to complex BioPAX datasets for researchers.

Celebrating good coding practices with code perfumes for Java learners.

A look into the importance of verifying CCF for secure cloud applications.

Research identifies hidden API changes that affect app performance across Android versions.

Study uncovers how static analysis warnings relate to architectural design flaws.

AI tools are transforming how developers work, improving efficiency and productivity.

A guide on programming with types, examples, and realizability.

A user-friendly software for analyzing molecular line lists in exoplanet atmospheres.

Automatic tracing simplifies task management in parallel programming for better performance.

Task fusion enhances performance in distributed computing through efficient task management.

CompassDB offers a fast and efficient key-value storage solution.

New models improve software code efficiency and compiler performance.

A new framework for analyzing termination in higher-order functions.

Exploring how design smells affect software development and maintenance roles.

New software simplifies analysis of complexity measures in time series data.

This article explores how users improve architecture-related questions on Stack Overflow.

This study assesses the effectiveness of LLMs in creating unit tests.

Data-parallel ANARI improves rendering efficiency and quality in scientific visualization.

Discover how multi-agent systems enhance task automation and problem-solving.

A new approach optimizes kernel performance utilizing Ansor and Droplet Search.