Embedded software quality is a critical concern in modern engineering, impacting a broad
range of applications from spacecraft to complex control systems. Requirements …

Interrupt-driven embedded software is widely used in aerospace, automotive electronics,
medical equipment, IoT, and other industrial fields. This type of software is usually …

Deep learning (DL) applications are prevalent nowadays as they can help with multiple
tasks. DL libraries are essential for building DL applications. Furthermore, DL operators are …

Persistent memory (PM) or Non-Volatile Random-Access Memory (NVRAM) hardware such
as Intel's Optane memory product promises to transform how programs store and manipulate …

The 5G communication network will underpin a vast number of new and emerging services,
paving the way for unprecedented performance and capabilities in mobile networks. In this …

Background: Firmware is the enable software of Internet of Things (IoT) devices, and its
software vulnerabilities are one of the primary reason of IoT devices being exploited. Due to …

Interrupt-driven programs are widely used in aerospace and other safety-critical areas.
However, uncertain interleaving execution of interrupts may cause concurrency bugs, which …

Interrupts have been widely used in safety-critical computer systems to handle outside
stimuli and interact with the hardware, but reasoning about interrupt-driven software remains …

Concurrent programs suffer from data races. To prevent data races, programmers use locks.
However, programs can eliminate data races only when they acquire and release correct …

Interrupt-driven programs are widely deployed in safety-critical embedded systems to
perform hardware and resource dependent data operation tasks. The frequent use of …