# Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

> Research article (ACM Transactions on Programming Languages and Systems, 2017) · cited 33× · AI/ML

**Wikidata**: [openalex:W2749582297](https://www.wikidata.org/wiki/openalex:W2749582297)  
**Source**: https://4ort.xyz/entity/precise-predictive-analysis-for-discovering-communication-deadlocks-in-mpi-programs