APA (7th ed.) Citation

Ye, F., Zhao, J., Shirako, J., & Sarkar, V. (2023). Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving. Proceedings of ACM on programming languages, 7(OOPSLA2), 773-800. https://doi.org/10.1145/3622825

Chicago Style (17th ed.) Citation

Ye, Fangke, Jisheng Zhao, Jun Shirako, and Vivek Sarkar. "Concrete Type Inference for Code Optimization Using Machine Learning with SMT Solving." Proceedings of ACM on Programming Languages 7, no. OOPSLA2 (2023): 773-800. https://doi.org/10.1145/3622825.

MLA (9th ed.) Citation

Ye, Fangke, et al. "Concrete Type Inference for Code Optimization Using Machine Learning with SMT Solving." Proceedings of ACM on Programming Languages, vol. 7, no. OOPSLA2, 2023, pp. 773-800, https://doi.org/10.1145/3622825.