The optimization of a system's configuration options is crucial for determining its
performance and functionality, particularly in the case of autonomous driving software (ADS) …

Misuse of cryptographic (crypto) APIs is a noteworthy cause of security vulnerabilities. For
this reason, static analyzers were recently proposed for detecting crypto API misuses. They …

Causality analysis is an effective technique for investigating and detecting cyber attacks.
However, by focusing on auditing at the Operating System level, existing causal analysis …

Test case prioritization (TCP) aims to reorder the regression test suite with a goal of
increasing the fault detection rate. Various TCP techniques have been proposed based on …

File systems play an essential role in modern society for managing precious data. To meet
diverse needs, they often support many configuration parameters. Such flexibility comes at …

Managing network configuration and improving service experience effectively is essential for
cellular service providers (CSPs). This is challenging because of cellular networks' large …

Although dedicated efforts have been devoted to ensuring the service quality of online
service systems, these systems are still suffering from incidents due to various causes, which …

Modern cloud infrastructure is powered by cluster management systems such as Kubernetes
and Docker Swarm. While these systems seek to minimize users' operational burden, the …

In online service systems, software changes cause a majority of incidents (ie, unplanned
interruptions and outages). Managing change-induced incidents efficiently is crucial for …

Persistent memory (PM) technologies have inspired a wide range of PM-based system
optimizations. However, building correct PM-based systems is difficult due to the unique …