Detock: High Performance Multi-region Transactions at Scale. - Cuong D. T. Nguyen; Johann K. Miller; Daniel J. Abadi (Proc. ACM Manag. Data, 2023)