Author of the publication

Memory Safety for Today's Languages and Architectures

. University of California, San Diego, USA, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version)., , , , , , , and . CoRR, (2020)Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)., , , , , , , , , and 5 other author(s). CoRR, (2024)SoK: Practical Foundations for Software Spectre Defenses., , , , and . SP, page 666-680. IEEE, (2022)Memory Safety for Today's Languages and Architectures. University of California, San Diego, USA, (2022)Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization., , , , , , , , , and 5 other author(s). Proc. ACM Program. Lang., 8 (OOPSLA1): 670-697 (2024)Position Paper: Progressive Memory Safety for WebAssembly., , , , , and . HASP@ISCA, page 4:1-4:8. ACM, (2019)Improved Performance of Gene Set Analysis on Genome-Wide Transcriptomics Data when Using Gene Activity State Estimates., , , and . PSB, page 449-460. (2017)Retrofitting Fine Grain Isolation in the Firefox Renderer., , , , , , , and . USENIX Security Symposium, page 699-716. USENIX Association, (2020)Tutorial: Sandboxing (unsafe) C code with RLBox., , and . SecDev, page 11-12. IEEE, (2021)MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code., , , , , , , , , and 1 other author(s). Proc. ACM Program. Lang., 7 (POPL): 425-454 (January 2023)