APA (7th ed.) Citation

Yang, A. Z., Takashima, Y., Paulsen, B., Dodds, J., & Kroening, D. (2025). VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models. 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on, ASE, 1453. https://doi.org/10.1109/ASE63991.2025.00123

Chicago Style (17th ed.) Citation

Yang, Aidan Z.H., Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, and Daniel Kroening. "VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models." 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on, ASE 2025: 1453. https://doi.org/10.1109/ASE63991.2025.00123.

MLA (9th ed.) Citation

Yang, Aidan Z.H., et al. "VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models." 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on, ASE, 2025, p. 1453, https://doi.org/10.1109/ASE63991.2025.00123.