Latest Articles for Software Development

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

New methods enhance predictions by focusing on code functionality instead of variable names.

Replay clocks enhance analysis and debugging in distributed systems.

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

A tool using AI helps identify key configuration settings for software performance.

This paper examines risks and maintenance issues with Chrome extensions.

A look into scenario-based testing for evaluating code generation models.

Addressing the safety concerns of code produced by large language models.

A new defense strategy for LLMs against backdoor attacks.

A new system allows data scientists to easily revert session states.

Examining the advancements in GPU database technology and their performance.

Aurora improves query rewriting using Equality Saturation and Reinforcement Learning.

Improving communication efficiency in distributed computing systems is key to better performance.

Evaluating the reliability of comments produced by language models in software code.

A new method improves code generation accuracy using external documents.

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

A study on automating title generation for better developer responses.

QuADTool simplifies risk assessment through attack-defense trees.

FeaTestSelPrio enhances testing efficiency in highly configurable software systems.

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.