While current bug detection techniques for concurrent software focus on unearthing low-level issues such as data races or deadlocks, …