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
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 redundantdoi:10.1145/2043174.2043194 fatcat:ouhzjx5zsrcvzcmk7kqhaomujy