Latest Articles for Software Development

Examining schema change issues in live programming and local-first software.

Safurai-001 offers intuitive coding help through advanced interaction and evaluation methods.

New methods improve efficiency in analyzing complex software code.

This system improves how users move computational notebooks between devices.

A new method improves bug detection using unlabeled gameplay data.

Exploring new methods in type theory for better programming practices.

Exploring new methods for communication safety in computer systems using session types.

A novel approach for predicting delays in agile projects using real-time data.

Understanding the impact of technical debt on software start-ups and their development processes.

An overview of the external strategy in strong call-by-value programming.

SBOMs are crucial for tracking software components and enhancing security.

MELAGE helps doctors and researchers analyze brain images for better diagnosis.

PyPose simplifies robot programming for developers and researchers.

A look at the performance of GPT-4 and GPT-3.5 in programming tasks.

Quark improves container performance while maintaining high security standards.

The updated Spanish Resource Grammar improves language analysis and learning.

Intelligent systems must evolve to handle uncertainty in real-time environments.

This article examines how location affects Ethereum client performance and validator rewards.

Discover how NLP streamlines requirements engineering for software development.

Exploring techniques to detect and evade malware in modern cybersecurity.

A look into smart contract vulnerabilities and the role of interval analysis.

Explore innovative ways to define and verify while loops in Coq.

A look into polynomial functors and their role in data types.

Learn how to verify if different workflow versions produce the same results.

A novel method improves translation of assembly code, enhancing software maintenance.

LogGPT offers improved methods for detecting anomalies in log data.

Learn the essentials of regex for effective string manipulation and data handling.

A new system integrates serverless computing and peer-to-peer networks for efficient model training.

Research highlights methods to compress language models while preserving performance in code generation.

Discover how DevOps and InnerSource support effective microservice reuse in large organizations.

A user-friendly software for calculating optical characteristics of multilayered structures.

MANA simplifies checkpointing for MPI applications, ensuring easy integration and reliable performance.

Exploring solutions for data type extension and function management in programming.

A new system uses machine learning to automate code optimization directly from source code.

This study highlights CodeT5's effectiveness in suggesting minimal code edits for bug fixes.

A new framework combines CodeBERT and GNNs for better vulnerability detection in software.

T5APR improves bug fixing across multiple programming languages using advanced machine learning techniques.

This article reviews Linux API usage in various applications and highlights key findings.

A new model routing approach enhances large language model selection for specific tasks.

Introducing a programming language that combines system and non-system features.