A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Formal analysis of MPI-based parallel programs
2011
Communications of the ACM
Preserved Fulltext
key insights addressing the challenges of distributed systems, debugging necessitates collaboration between HPC and formal verification. along with HPC, distributed computing based on communication libraries is going mainstream in the commodity world, two communities that must look to learn and benefit from one another. Catastrophic disruption of programmer productivity can be avoided through formal verification tools that handle problems of scale, enhance coverage by avoiding redundant
doi:10.1145/2043174.2043194
fatcat:ouhzjx5zsrcvzcmk7kqhaomujy