C Tang, Z Wang, X Zhang, Q Yu, B Zang… - SIGMOD …, 2023 - ipads.se.sjtu.edu.cn
Many transactions in web applications are constructed ad hoc in the application code. For
example, developers might explicitly use locking primitives or validation procedures to …