Latest Articles for Software Development

This article explores how comment generation improves large language models’ coding abilities.

Learn how to prevent internal failures in software programming effectively.

A study on improving task mapping in CGRAs using SAT methods.

Efficient counting solutions for modern applications using approximate methods.

This article explores a method to improve code summarization using human attention insights.

Examining user behavior's impact on recommendation system performance.

An overview of strong linearizability and its significance in concurrent programming.

A new watermarking method safeguards customized language models from unauthorized use.

A new method to improve machine learning models affected by poor data.

This method uses a Bayesian approach for accurate user activity predictions in online testing.

This model addresses the unique challenges of managing changes in global software projects.

New methods improve performance predictions by focusing on memory dependencies.

A new approach to code completion enhances suggestions by considering entire code repositories.

Exploring the vulnerabilities in zero-knowledge proofs in cryptography.

An analysis of common issues in managing machine learning assets and proposed solutions.

Explore the data-centric approach to improving AI software systems.

MobiLlama offers efficient language processing for devices with limited resources.

Learn how MPST enhances communication processes in distributed systems.

A novel approach enhances efficiency in SMT solving for bit-vectors.

A detailed analysis of quantum simulation tools and their performance challenges.

This study examines the rise of CI/CD practices among developers from 2012 to 2023.

A system to eliminate reflections in images for clearer photography.

A tool designed to improve data science tasks through dynamic planning and error checking.

Discover how JCLEC-MO simplifies multi-objective optimization for engineers.

This study examines how AI affects productivity and trust among software engineers.

Explore the significance of performance requirements and testing in software projects.

An overview of modern code reviews and their importance in software quality.

This paper examines invariant checking in systems with infinite states using two algorithms.

A new method for creating recursion-free programs from functional specifications.

This article reviews recent efforts to automate inductive reasoning in theorem proving.

FlaKat offers a machine learning solution to identify and categorize flaky tests.

A look at the impact and presence of software architects in Brazil.

A study ranks the programming capabilities of various large language models.

Explore key programming concepts to create robust and reliable applications.

Observability is key to managing microservice applications and ensuring their reliability.

DyPyBench offers a diverse set of projects for dynamic analysis in Python.

Strategies for better resource allocation in serverless platforms.

Hercules optimizes network resource allocation for diverse application needs.

A look at comparing nondeterministic probabilistic models and their importance.

An overview of upgradeable smart contracts and their security challenges.