APA (7th ed.) Citation

Gäher, L., Sammler, M., Spies, S., Jung, R., Dang, H., Krebbers, R., . . . Dreyer, D. (2022). Simuliris: A separation logic framework for verifying concurrent program optimizations. Proceedings of ACM on programming languages, 6(POPL), 1-31. https://doi.org/10.1145/3498689

Chicago Style (17th ed.) Citation

Gäher, Lennard, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, and Derek Dreyer. "Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations." Proceedings of ACM on Programming Languages 6, no. POPL (2022): 1-31. https://doi.org/10.1145/3498689.

MLA (9th ed.) Citation

Gäher, Lennard, et al. "Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations." Proceedings of ACM on Programming Languages, vol. 6, no. POPL, 2022, pp. 1-31, https://doi.org/10.1145/3498689.