Latest Articles for Software Engineering

A look into WebAssembly analysis methods for secure execution.

CodeCSE improves linking code and comments using contrastive learning for software engineering.

Exploring methods for creating reliable controllers in various environments.

Combining Stochastic State Classes and simulation offers better analysis of complex systems.

A new framework improves communication reliability in multiparty message-passing protocols.

Exploring connections between logic programs and Boolean networks to enhance stable model insights.

Exploring how CSE task recommendations help software practitioners find suitable tasks.

Study develops models to predict software bugs in real-time for complex systems.

A method for ensuring software correctness through structured analysis.

A new method to enhance safety in critical systems using language models.

Learn how formal methods improve software design for complex configurations.

An overview of key issues in designing specialized computing hardware.

This study examines how snowballing improves research quality on Q&A platforms.

Generative AI streamlines systematic reviews in software engineering research.

A new framework assesses difficulty in coding tasks for large language models.

A program to teach model checking for reliable software development.

A new framework addresses cold starts in serverless computing through shared warm pools.

Tipping enhances log parsing efficiency and accuracy for better software analysis.

New methods aim to run powerful models on limited hardware efficiently.

Learn how action research connects academic findings to real-world software practices.

Analyzing software failures helps improve practices in various industries.

A new framework simplifies compiler processes for tensor accelerators using LLMs.

Deeploy streamlines deployment of small language models on microcontrollers, enhancing AI accessibility.

A new framework enhances task scheduling and timing in multi-threaded ROS 2 executors.

A framework guides the selection of effective pre-trained models for vulnerability detection.

An overview of parameterized systems and their verification challenges.

A review of recent improvements in model counting tools and their practical applications.

An overview of issues in crossover designs and data analysis in software engineering studies.

This study compares time-dependent models and ML techniques for predicting Code Technical Debt.

Learn how bit vectors improve the efficiency of grounding in problem-solving.

A look at risks and best practices for using std::string_view.

Research on merging task-specific adapters to enhance automated program repair efficiency.

Tywaves improves clarity and structure in debugging Chisel hardware designs.

Early validation prevents costly errors in systems like healthcare devices.

Study reveals how hyperparameters affect LLM-generated code quality.

This article covers a system that manages communication between processes using sandboxes.

This study reviews plugins, their deployment, and security concerns in the app ecosystem.

Learn how abstraction engineering shapes adaptable software systems for modern challenges.

A new split OS design enhances cloud application performance and resource management.

A new method helps identify performance issues in complex software systems.