Latest Articles for Software Development

A new toolkit to simplify subgraph retrieval from knowledge graphs.

Research introduces a fast model for identifying compilers used in ARM binaries.

Learn how Egg-smol makes e-graphs accessible for Python developers.

Research shows language models can improve unit test creation efficiency and quality.

Learn how to effectively document bioinformatics software using reverse engineering.

A new method enhances how developers search for code patterns effectively.

A framework for ensuring program correctness and addressing errors effectively.

ChatUniTest automates unit test creation, improving software quality and reducing developer workload.

clotFoam transforms blood clot formation research through powerful simulations.

Machine learning models help find bugs in concurrent programming for better software safety.

New method improves code analysis accuracy while reducing resource demands.

ElasticHash uses deep learning for swift and precise image searches.

TyRE enhances regex parsing with type safety and structured output.

A new framework improves JSON data comparison for developers.

Introducing MoCA, a system enhancing memory management for deep neural networks.

A new method uses augmented ASTs to enhance parallel code detection.

This article examines how code quality, activity, and usage affect code review speed.

A system to recommend code reviewers based on programming skills using Knowledge Units.

RLocator improves bug localization using machine learning techniques.

Symbolic execution is a key technique for identifying software bugs efficiently.

A new approach improves speed, accuracy, and cost in machine learning systems.

A new method enhances call graph accuracy for Python applications.

A new framework helps developers create clear privacy statements for apps.

A new bot improves clarity and speeds up pull request reviews.

Introducing a method for effective time series classification using the LLT technique.

This study examines how code refactoring affects merging in software development.

A new method tackles the cold-start problem in recommendation systems.

Introducing a tool that enhances matrix-related tasks in data analysis.

A new system improves accuracy of ML models on mobile devices without constant oversight.

A new system simplifies knowledge representation and reasoning for specialists.

A look into the Contention-Friendly Binary Search Tree and its efficiency.

An overview of parser combinators and the importance of verifying their accuracy.

Learn how model checking verifies systems for correct behavior.

Learn how Rely-Guarantee reasoning improves program interaction without conflicts.

A new approach to data management using persistent memory technology.

Learn how CFGs and machine learning enhance malware detection methods.

A new framework simplifies the design of packet processing systems in networks.

This paper introduces a notation for clearer management of sequential and parallel programming tasks.

A protocol for efficient communication between microservices in cloud-native applications.

A new AI tool enhances the automation of parallel programming using OpenMP pragmas.