Latest Articles for Software Development

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

A method to automatically verify data structures against representation invariants using advanced techniques.

Learn how LLMs can help make C programming safer and more efficient.

Italy's ChatGPT ban affected software developers' productivity in unexpected ways.

A study on developers' use of unsafe code in Rust.

A new framework aims to improve DSL interoperability and efficiency in HPC.

Learn how to integrate XAI systems in Jupyter to enhance AI understanding.

This paper discusses improving software behavior through liveness requirements.

Crescendo attack uses friendly conversation to manipulate AI models into harmful outputs.

A system that optimizes calculations for sparse matrices using blocked storage.

Introducing WebSPL, a structured method for efficient web application creation.

Revolutionize how we visualize and analyze categorical data through similarity patterns.

Examining the security implications of AI-generated code using security APIs.

The ROBUST dataset helps researchers address software issues in robotics.

A proposal for a reference architecture in knowledge engineering to enhance system efficiency.

A new method improves trust in automated program verification.

A new method automates analysis of probabilistic program outputs.

Explore how automated tools assist learners in writing SQL queries effectively.

Automated tool audits smart contracts for ERC compliance, improving security.

A new approach to streamline effectful computations in programming languages.

A fresh approach to enhance software performance through dynamic tuning methods.

This paper presents an efficient tree diffing method using SAT solving.

A novel filter solution for efficient data handling and scalability.

A new method to speed up Stateflow model repair and reduce costs.

Smart HPA improves microservice scaling efficiency in resource-limited environments.

A new method, DepGraph, improves software bug detection accuracy.

NetKAT simplifies network rule creation and verification for efficient management.

An analysis of how developers implement architectural solutions in open-source projects.

A deep learning method improves detection of software vulnerabilities in unseen code.

This article introduces a framework for analyzing program termination with improved efficiency.

An in-depth look at two editing tools for software development.

A look at software mention extraction in academic texts.

Automotive industry embraces software-defined solutions for improved vehicle functions.

An interactive tool helps students create formal mathematical specifications.

Learn about WebPie, a simple language using dependent types for safe programming.

A new method utilizes LLMs to automate bug fixing and feature addition.

This article examines how requirements are gathered in government software projects.

Exploring the design and benefits of a PMU for RISC-V processors used in space.

MLRefScanner enhances detection of code refactoring in Python machine learning projects.

This article examines how developers view government funding in OSS projects like scikit-learn.