Safer at any speed: automatic context-aware safety enhancement for Rust

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]

Authors

Natalie Popescu

This author has not been identified. Look up 'Natalie Popescu' in Google

Ziyang Xu

This author has not been identified. Look up 'Ziyang Xu' in Google

Sotiris Apostolakis

This author has not been identified. Look up 'Sotiris Apostolakis' in Google

David I. August

This author has not been identified. Look up 'David I. August' in Google

Amit Levy

This author has not been identified. Look up 'Amit Levy' in Google