C Tang,
Z Wang, X Zhang, Q Yu, B Zang… - Proceedings of the …, 2022 - dl.acm.org
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 …