Latest Articles for Software Development

Examining the factors leading to underproduction in open source projects.

A new system improves efficiency and reduces delays in handling language model tasks.

A new tool evaluates Syzbot's ability to find Linux kernel bugs.

Improving software security by identifying recurring coding flaws in open-source projects.

New self-healing systems learn to recover from failures without human help.

A new framework enhances GPU performance for deep learning tasks.

A workshop highlights key challenges and solutions in robotics software engineering.

A look into how meaningfulness shapes programming language design and evaluation.

A new dataset enhances vulnerability detection in open-source software for better security.

Combining simulation and event analysis for software validation.

TroVE simplifies function creation for programming tasks, improving accuracy and efficiency.

MORPH adapts malware detection systems to evolving threats with less manual input.

This article discusses the role of SATD in software security.

Discover the role of monadic intersection types in improving programming language type systems.

A study on the roles of paid developers and volunteers in Rust projects.

A look at enhancing ROOT with SYCL for efficient data analysis.

A new method simplifies proving program properties using unrealizability logic.

A study on improving automated tools for code simplification in software development.

A new approach for safely analyzing program complexity through controlled data release.

Learn how session types enhance communication protocols in software development.

A new method combines AI and static analysis for better code suggestions.

Learn how static analysis tools like C Analyzer improve software reliability.

OMP GPT specializes in generating OpenMP pragmas for efficient coding in HPC.

A study on the impact of LLMs in university software engineering courses.

Introducing SERL: A new framework for efficient robot learning tasks.

MobFuzz enhances fuzz testing with multi-objective optimization for better software security.

This method enhances coding accuracy through reusable function learning and refactoring.

Learn how ACADL simplifies modeling for AI hardware accelerators.

A new model supports efficient communication in choreographic programming.

SPViz enables tailored visualization tools for better software project understanding.

This work examines how LLMs enhance vulnerability detection in Java code.

ACAI simplifies data management and job execution for machine learning professionals.

This paper examines prompt injections and their implications for AI models.

PSSR2 enhances image quality and accessibility for microscopy research.

Learn to create systems that prioritize user-friendly design from the start.

A new method enhances test generation using large language models for better coverage.

Making software testing engaging for students through gamification.

This article explores methods for using GPT-3.5 to automate code reviews effectively.

Combining LLMs and formal verification to improve programming accuracy and efficiency.

A tool combining Selenium and JUnit 5 to streamline web application testing.