CCKit: An open-source toolkit for cache coherent accelerators. - Ramdas, Abishek; Cock, David; Giardino, Michael; Korolija, Dario; Ruzhanskaia, Anastasiia; Schwyn, Daniel; Turowski, Adam; Alonso, Gustavo; Roscoe, Timothy (ACM Transactions on Computer Systems, 2025)