APA (7th ed.) Citation

Liu, A., Bernstein, G. L., Chlipala, A., & Ragan-Kelley, J. (2022). Verified tensor-program optimization via high-level scheduling rewrites. Proceedings of ACM on programming languages, 6(POPL), 1-28. https://doi.org/10.1145/3498717

Chicago Style (17th ed.) Citation

Liu, Amanda, Gilbert Louis Bernstein, Adam Chlipala, and Jonathan Ragan-Kelley. "Verified Tensor-program Optimization via High-level Scheduling Rewrites." Proceedings of ACM on Programming Languages 6, no. POPL (2022): 1-28. https://doi.org/10.1145/3498717.

MLA (9th ed.) Citation

Liu, Amanda, et al. "Verified Tensor-program Optimization via High-level Scheduling Rewrites." Proceedings of ACM on Programming Languages, vol. 6, no. POPL, 2022, pp. 1-28, https://doi.org/10.1145/3498717.