APA (7th ed.) Citation

Laddad, S., Power, C., Milano, M., Cheung, A., & Hellerstein, J. M. (2022). Katara: Synthesizing CRDTs with verified lifting. Proceedings of ACM on programming languages, 6(OOPSLA2), 1349-1377. https://doi.org/10.1145/3563336

Chicago Style (17th ed.) Citation

Laddad, Shadaj, Conor Power, Mae Milano, Alvin Cheung, and Joseph M. Hellerstein. "Katara: Synthesizing CRDTs with Verified Lifting." Proceedings of ACM on Programming Languages 6, no. OOPSLA2 (2022): 1349-1377. https://doi.org/10.1145/3563336.

MLA (9th ed.) Citation

Laddad, Shadaj, et al. "Katara: Synthesizing CRDTs with Verified Lifting." Proceedings of ACM on Programming Languages, vol. 6, no. OOPSLA2, 2022, pp. 1349-1377, https://doi.org/10.1145/3563336.