Latest Articles for Software Development

This study investigates how well code models comprehend API names and usage.

A fresh approach to checking the correctness of programs that use randomness.

A new method combines TEEs and garbled circuits for better performance in cloud tasks.

Learn how LLMs streamline Verilog code creation and evaluation.

ForSys provides non-invasive analysis of mechanical properties in biological tissues.

A new approach uses Reinforcement Learning to tackle cold start challenges in serverless computing.

A two-level type theory connects logical proofs and practical programming.

CartoonDiff simplifies image cartoonization without needing complex models or training.

Discover how ChatGPT can streamline the code review process in software development.

Exploring dynamic separation logic for improved memory management in programming.

COSI will explore unexplored gamma rays to reveal cosmic phenomena.

This article discusses new methods for verifying data security in concurrent systems.

A new compiler boosts CGRA capabilities for diverse software applications.

Btor2MLIR offers a flexible toolchain for efficient hardware verification.

Discover how nf-test improves testing for computational pipelines in Bioinformatics.

QTOS streamlines movement planning for quadruped robots, enhancing their performance.

Gym-saturation aids provors in automated theorem proving using reinforcement learning.

Using large language models to streamline hardware design verification processes.

This study reviews the effectiveness of software tools for genome annotation.

A novel approach to fixing software bugs using language models for donor code selection.

Introducing a framework for better application isolation and resource sharing.

New methods enhance communication in multi-agent systems through choreographies and posets.

A look at how stochastic memoization improves probabilistic programming.

EditAS method enhances assertion generation for better unit testing outcomes.

Explore how Continuous Integration enhances software quality and team collaboration.

Data Formulator streamlines visualization creation by automating data transformation.

New tools are improving the analysis of large property graphs.

EGFE enhances the process of organizing UI design elements for better code quality.

A look at the computing continuum's features, challenges, and potential for users.

This paper discusses how LLMs improve chatbot development and user interaction.

A focused approach to quickly identify software bugs through targeted testing.

A new coding method enhances layout design for apps and documents.

Redback software aids astronomers in analyzing transient cosmic events.

A new library for creating and managing maze datasets in machine learning.

RUEL improves item suggestions by utilizing Edge browser logs and advanced techniques.

Examining how high-quality requirements influence software project success.

A new approach enhances the training of surrogate models in software development.

Examining the link between software architecture practices and sustainability efforts.

Using GPUs to speed up reservoir simulations can improve efficiency and reduce computation times.

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