A Family of Provably Correct Algorithms for Exact Triangle Counting

Matthew Lee, Tze Meng Low. A Family of Provably Correct Algorithms for Exact Triangle Counting. In Ignacio Laguna, Cindy Rubio-González, editors, Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017. pages 14-20, ACM, 2017. [doi]

Authors

Matthew Lee

This author has not been identified. Look up 'Matthew Lee' in Google

Tze Meng Low

This author has not been identified. Look up 'Tze Meng Low' in Google