1. Cirrus hardware website. http://www.cirrus.ac.uk/about/hardware.html.
2. ULFM hands-on tutorial for SC'17. http://fault-tolerance.org/downloads/SC17-handson.pdf, 2017.
3. GitHub repository of message logging kernels. https://github.com/KADichev/message-logging-kernels, 2019.
4. Lorenzo Alvisi and Keith Marzullo. Message logging: Pessimistic, optimistic, causal, and optimal. IEEE Transactions on Software Engineering, 24(2):149--159, 1998.
5. David H Bailey, Eric Barszcz, John T Barton, David S Browning, Robert L Carter, Leonardo Dagum, Rod A Fatoohi, Paul O Frederickson, Thomas A Lasinski, Rob S Schreiber, et al. The NAS parallel benchmarks. The International Journal of Supercomputing Applications, 5(3):63--73, 1991.