conf.researchr.org / Alexandra E. Michael
Registered user since Thu 10 Nov 2022
Name:Alexandra E. Michael
I’m a PhD student in Computer Science at the University of Washington, advised by David Kohlbrenner and Dan Grossman. I completed my Bachelor’s in CS at UC San Diego in fall 2021, where I was advised by Deian Stefan.
Affiliation:University of California at San Diego; University of Washington
Research interests:Security, programming languages, compilers
|POPL 2023|| Session Chair of Thursday Evening Session Preview (part of Session Previews)|
Author of MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code within the POPL-track