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.

Country:United States
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