Exploitable bugs in smart contracts have caused significant monetary loss. Despite the
substantial advances in smart contract bug finding, exploitable bugs and real-world attacks …

This chapter describes traditional and intuitive fault localization techniques, including
program logging, assertions, breakpoints, and profiling. Many advanced fault localization …

Actor frameworks and similar reactive programming techniques are widely used for building
concurrent systems. They promise to be efficient and scale well to a large number of cores or …

Discovering kernel concurrency bugs through fuzzing is challenging. Identifying kernel
concurrency bugs, as opposed to non-concurrency bugs, necessitates an analysis of …

This article systematically studies 99 distributed performance bugs from five widely deployed
distributed storage and computing systems (Cassandra, HBase, HDFS, Hadoop …

Happens before-based dynamic analysis is the go-to technique for detecting data races in
large scale software projects due to the absence of false positive reports. However, such …

This paper describes the design and implementation of the open-source tool for testing
concurrent programs written in the language. provides algorithmic capabilities to explore the …

We present a framework for efficient stateless model checking (SMC) of concurrent
programs under three prominent models of causal consistency, CCv, CM, CC. Our approach …

Large language models (LLMs) have undergone rapid evolution and achieved remarkable
results in recent times. OpenAI's ChatGPT, backed by GPT-3.5 or GPT-4, has gained instant …

Finding data races is critical for ensuring security in modern kernel development. However,
finding data races in the kernel is challenging because it requires jointly searching over …