Latest Articles for Software Development

Combining static and dynamic analysis improves bug prediction accuracy in software development.

A study on the performance of five JavaScript static analysis tools.

A framework for using modern C++ features while ensuring compatibility with older systems.

A new approach to enhance client availability in federated learning.

New methods improve the creation of distributed protocols for reliable computing.

Introducing an innovative approach to enhance automated code completion tools.

DPSynth uses dynamic programming for efficient boolean function synthesis.

Typhon improves code suggestions for developers using Jupyter Notebooks through advanced techniques.

This report discusses methods to enhance memory safety in AI neural networks.

A new approach enhances the verification of Rust code that uses interior mutability.

Seal-Tools enhances LLM capabilities in complex task management using a diverse tool dataset.

A systematic method for creating effective LLM-based solutions.

BARO offers advanced solutions for detecting issues in microservice systems.

A new approach using reinforcement learning for improving user interface adaptability.

Examining how small changes improve software quality and maintenance.

Learn how predictive monitoring helps find bugs early in software development.

Highlighting the vital role of infrastructure engineers in scientific research.

This article discusses the need for better evaluation practices in fuzzing research.

Adapprox reduces memory use in deep learning while maintaining performance.

An overview of the Relational Machine Calculus and its key features.

A new method improves software checking using Operator Precedence Languages and SMT.

A framework to assess graph containers and their performance in algorithms.

Investigating large language models’ effectiveness in translating real-world code into Rust.

A detailed look into current medical imaging software practices and areas for improvement.

Introducing an eDSL for efficient zero-knowledge proof systems development.

PathOCL enhances OCL generation accuracy and efficiency for UML class models.

FV8 enhances detection of evasive techniques in JavaScript through dynamic analysis.

Learn how predictive models can enhance software review efficiency with fewer examples.

Exploring how IR enhances static analysis tools and software quality.

GeckoGraph simplifies the understanding of polymorphic types through visual representation.

Goanna improves error reporting and debugging for Haskell programmers.

A new method reduces complexity in adapting applications for different devices.

Examining the importance of data valuation for language models and its implications.

Automated tools improve code quality and streamline the review process.

A new audio codec offering high-quality compression and rich semantic content.

A new approach enhances the performance of code generated by large language models.

A study on common database access bugs and recommendations for developers.

This article discusses the importance and strategies of securing software supply chains.

A new system speeds up and simplifies the 3D modeling process.

AnalogCoder makes analog circuit design easier and more accessible for everyone.