Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, Amit Levy. Safer at any speed: automatic context-aware safety enhancement for Rust. Proceedings of the ACM on Programming Languages, 5(OOPSLA):1-23, 2021. [doi]
@article{PopescuXAAL21, title = {Safer at any speed: automatic context-aware safety enhancement for Rust}, author = {Natalie Popescu and Ziyang Xu and Sotiris Apostolakis and David I. August and Amit Levy}, year = {2021}, doi = {10.1145/3485480}, url = {https://doi.org/10.1145/3485480}, researchr = {https://researchr.org/publication/PopescuXAAL21}, cites = {0}, citedby = {0}, journal = {Proceedings of the ACM on Programming Languages}, volume = {5}, number = {OOPSLA}, pages = {1-23}, }