SIREN: A Memory-Conserving, Snapshot-Consistent Checkpoint Algorithm for in-Memory Databases | IEEE Conference Publication | IEEE Xplore