DEMETER: hardware-assisted database checkpointing. - Hyeonseok Oh; Hyeongwon Jang; Jae Eun Kim; Jong-Bin Kim; Hyuck Han; Sooyong Kang; Hyungsoo Jung 001 (SAC, 2020)