Compositional deadlock detection for rendezvous communication
Baolin Shao, Nalini Vasudevan, Stephen A. Edwards · 2009
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadlock, absent from sequential programs. Unfortunately, traditional race and deadlock detection techniques fail on both large programs and small programs with complex behaviors.