Cybersec-and-HPC-Textbook-C.../Articles/Expressing graph algorithms using generalized active messages.pdf