APA (7th ed.) Citation

Newcomb, J. L., Adams, A., Johnson, S., Bodik, R., & Kamil, S. (2020). Verifying and improving Halide’s term rewriting system with program synthesis. Proceedings of ACM on programming languages, 4(OOPSLA), 1-28. https://doi.org/10.1145/3428234

Chicago Style (17th ed.) Citation

Newcomb, Julie L., Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil. "Verifying and Improving Halide’s Term Rewriting System with Program Synthesis." Proceedings of ACM on Programming Languages 4, no. OOPSLA (2020): 1-28. https://doi.org/10.1145/3428234.

MLA (9th ed.) Citation

Newcomb, Julie L., et al. "Verifying and Improving Halide’s Term Rewriting System with Program Synthesis." Proceedings of ACM on Programming Languages, vol. 4, no. OOPSLA, 2020, pp. 1-28, https://doi.org/10.1145/3428234.