Renaissance: Benchmarking suite for parallel applications on the jvm
Established benchmark suites for the Java Virtual Machine (JVM), such as DaCapo,
ScalaBench, and SPECjvm2008, lack workloads that take advantage of the parallel …
ScalaBench, and SPECjvm2008, lack workloads that take advantage of the parallel …
Sound and efficient concurrency bug prediction
Y Cai, H Yun, J Wang, L Qiao, J Palsberg - Proceedings of the 29th ACM …, 2021 - dl.acm.org
Concurrency bugs are extremely difficult to detect. Recently, several dynamic techniques
achieve sound analysis. M2 is even complete for two threads. It is designed to decide …
achieve sound analysis. M2 is even complete for two threads. It is designed to decide …
Smarttrack: efficient predictive race detection
Widely used data race detectors, including the state-of-the-art FastTrack algorithm, incur
performance costs that are acceptable for regular in-house testing, but miss races detectable …
performance costs that are acceptable for regular in-house testing, but miss races detectable …
Dynamic race detection with O (1) samples
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 …
large scale software projects due to the absence of false positive reports. However, such …
High-coverage, unbounded sound predictive race detection
Dynamic program analysis can predict data races knowable from an observed execution,
but existing predictive analyses either miss races or cannot analyze full program executions …
but existing predictive analyses either miss races or cannot analyze full program executions …
A deployable sampling strategy for data race detection
Dynamic data race detection incurs heavy runtime overheads. Recently, many sampling
techniques have been proposed to detect data races. However, some sampling techniques …
techniques have been proposed to detect data races. However, some sampling techniques …
Dependence-aware, unbounded sound predictive race detection
Data races are a real problem for parallel software, yet hard to detect. Sound predictive
analysis observes a program execution and detects data races that exist in some other …
analysis observes a program execution and detects data races that exist in some other …
Low-overhead deadlock prediction
Multithreaded programs can have deadlocks, even after deployment, so users may want to
run deadlock tools on deployed programs. However, current deadlock predictors such as …
run deadlock tools on deployed programs. However, current deadlock predictors such as …
May-happen-in-parallel analysis with static vector clocks
May-Happen-in-Parallel (MHP) analysis computes whether two statements in a multi-
threaded program may execute concurrently or not. It works as a basis for many analyses …
threaded program may execute concurrently or not. It works as a basis for many analyses …
SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software
B Wang, R Chen, C Li, T Yu, D Gao… - Proceedings of the 31st …, 2022 - dl.acm.org
Concurrency bugs are common in interrupt-driven programs, which are widely used in safety-
critical areas. These bugs are often caused by incorrect data sharing among tasks and …
critical areas. These bugs are often caused by incorrect data sharing among tasks and …