Natalie Popescu

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Web Technologies

Context Aware Computing

Computed Tomography

Top Venues

Proc. ACM Program. Lang.

Publications

Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, Amit Levy
Safer at any speed: automatic context-aware safety enhancement for Rust. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
CT-wasm: type-driven secure cryptography for the web ecosystem. Proc. ACM Program. Lang. 3 (POPL) (2019)
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem. CoRR (2018)