APA (7th ed.) Citation

Møldrup, L., & Pavlogiannis, A. (2025). AWDIT: An Optimal Weak Database Isolation Tester. Proceedings of the ACM on Programming Languages, 9(PLDI), 1540-1564. https://doi.org/10.1145/3742465

Chicago Style (17th ed.) Citation

Møldrup, Lasse, and Andreas Pavlogiannis. "AWDIT: An Optimal Weak Database Isolation Tester." Proceedings of the ACM on Programming Languages 9, no. PLDI (2025): 1540-1564. https://doi.org/10.1145/3742465.

MLA (9th ed.) Citation

Møldrup, Lasse, and Andreas Pavlogiannis. "AWDIT: An Optimal Weak Database Isolation Tester." Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI, 2025, pp. 1540-1564, https://doi.org/10.1145/3742465.