Justin Emile Gottschlich Daniel A. Connors Optimizing consistency checking for memory-intensive transactions. 451 2008 PODC https://doi.org/10.1145/1400751.1400848 conf/podc/2008 db/conf/podc/podc2008.html#GottschlichC08