Latest Articles for Software Development

Gillian-Rust offers a novel way to verify unsafe Rust code effectively.

Learn how to adjust LLMs for unique business needs through fine tuning.

A study on how teams use personas to improve software design.

Exploring the impact of LLMs on software development practices.

New software streamlines the identification of structured tandem repeat proteins.

Local features improve customization and efficiency in software product line development.

A tool to assess ChatGPT's reliability among software developers.

This article covers how developers select software libraries and offers insights for improvement.

Study reveals how AMD's Zen+ architecture executes instructions for better software optimization.

Learn how the MESIA metric improves the quality of code comments.

A new automated approach improves efficiency in fixing software bugs.

A look at how DRM improves resource allocation in computing.

This paper examines key factors that affect test code readability for better software maintenance.

Raptor improves serverless function scheduling for faster, more reliable applications.

A framework to generate code repositories using simple language requirements.

Discover key findings and tools in the DevOps community.

A new method enhances code generation by leveraging project-specific context and compiler feedback.

A system of handles improves memory management and reduces fragmentation in unmanaged languages.

TGMM simplifies detecting similar code across multiple programming languages.

Strategies to reduce cold start latency in serverless applications.

New approaches to enhance clarity and reduce issues in software requirements.

Analyzing diverse projects utilizing ChatGPT from GitHub.

New benchmarks reveal strengths and weaknesses of coding language models.

Combining natural language comments and code structure improves vulnerability detection.

New techniques enhance memory management verification in computer programs.

A new method improves solving linear integer equations using automata and algebra.

Certifying neural networks ensures their safety and reliability in critical applications.

A new method to confirm SQL integrity based on OCL rules.

A tool for analyzing memory issues in C code.

This study examines how Bayesian methods can enhance malware detection systems.

An overview of communication protocols in distributed systems focusing on Wait-Only Non-Blocking Broadcast Protocols.

A new method enhances program compilation, producing smaller output files using past data.

CoderUJB evaluates LLM performance in real-world Java programming tasks.

Assembly programming meets competition as survivors battle in CodeGuru Xtreme.

New benchmark evaluates language models' performance in understanding meeting transcripts.

Discover the importance of cost-sensitive programming in optimizing resource management.

A study reveals vulnerabilities in popular password management software.

A study on how Large Language Models can improve vulnerability detection in software.

This article discusses the need for better benchmarking in graph processing research.

FT2Ra enhances code completion efficiency through retrieval methods without full model retraining.