1. CCIX. https://www.ccixconsortium.com. CCIX. https://www.ccixconsortium.com.
2. Enzian a research computer built by the Systems Group at ETH Zürich. http://www.enzian.systems/index.html. Enzian a research computer built by the Systems Group at ETH Zürich. http://www.enzian.systems/index.html.
3. P.Haul. https://criu.org/P.Haul. P.Haul. https://criu.org/P.Haul.
4. Pin - a dynamic binary instrumentation tool. https://software.intel.com/en-us/articles/pin-a-dynamic-binary-instrumentation-tool. Pin - a dynamic binary instrumentation tool. https://software.intel.com/en-us/articles/pin-a-dynamic-binary-instrumentation-tool.
5. Redis: open-source in-memory data structure store. https://redis.io. Redis: open-source in-memory data structure store. https://redis.io.