Latest Articles for Software Development

This framework simplifies type theory definition and improves type checking in programming languages.

ContractFix improves smart contract safety by automating vulnerability detection and patching.

A new method for generating test programs enhances bug detection in JIT compilers.

Learn how extensible data types enhance flexibility and safety in programming.

Exploring the challenges and innovations in unfitted finite element methods for PDEs.

New methods improve ensemble performance in automated machine learning.

Introducing a system to better manage and process complex data streams.

A look at how new type systems improve resource management in programming.

PLiNIO simplifies deep neural network optimization for mobile and edge devices.

Exploring the ethical dilemmas of using white worms against malware.

Learn how state machines simplify software design and enhance system management.

This article explores threats from malicious code in third-party packages.

PromptMagician helps users generate images from text prompts effectively.

Causal Separation Diagrams simplify the understanding of causal relationships in concurrent systems.

A new framework improves log parsing using advanced language models for better accuracy.

A look into modern methods for improving document retrieval efficiency.

Advancements in algorithms for enhancing tree and string structures dynamically.

Examining the need for effective verification in complex multi-agent systems.

This paper highlights improvements in robotic navigation for marine environments.

RobôCIn prepares for RoboCup 2023 with new strategies and technical advancements.

Learn how probabilistic programming incorporates uncertainty in computing and the role of symbolic execution.

This article discusses the importance of managing data races in concurrent software.

A study comparing the quality of human and AI responses in programming.

Analyzing how different programs relate through execution alignment and verification.

A look at AdjointDPM's impact on generative AI efficiency.

VCT enables efficient image changes while preserving crucial details.

Examining the role of software analytics in quantum computing.

Innovative editors simplify coding by enhancing user interaction with JSON-based languages.

Live Refactoring boosts developer efficiency and code quality with real-time suggestions.

Learn how Software Product Line Engineering and transplantation can enhance development efficiency.

A deep look into the testing methods for physical simulation engines.

A new framework enhances state management for network functions in virtualized environments.

Addressing client failures in disaggregated memory systems through transactional indexes.

Research focuses on the importance of result stability in neuroimaging tools.

This study investigates the link between Technical Debt and security in software development discussions.

DEFTri automates defect triage, improving software issue assignment and efficiency.

This article examines key metrics for assessing code quality in OSS projects.

eDCM PC aids researchers in analyzing how different parts of systems communicate.

A new tool targets code quality issues in cloud applications.

CRIU enables seamless application migration in edge computing environments.