
Alexandra E. Michael
Contact me at aemichae[@]cs[.]washington[.]edu. I'm also on GitHub and LinkedIn.
About
I'm a PhD student at the Allen School of Computer Science, at the University of Washington
in Seattle. My research interests lie at the intersection of security, programming languages,
and compilers. I'm co-advised by
David Kohlbrenner in the
Security and Privacy Lab and
Dan Grossman in the
PLSE lab.
Currently, I'm working on compiler-based mitigations for microarchitectural side-channels.
Previously, I worked with Deian Stefan
on Memory-Safe WebAssembly during my undergraduate
at UC San Diego, where I earned my B.S. in Computer Science in December 2021.
Publications
Alexandra E. Michael*, Anitha Gollamudi*, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, and Deian Stefan. 2023. MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proc. ACM Program. Lang. 7, POPL, Article 15 (January 2023), 30 pages. https://doi.org/10.1145/3571208
Awards
NSF GRFP Fellow. Awarded March 2023.
Corin Anderson Endowed Fellowship (University of Washington). Awarded for academic year 2022-23.
Undergraduate Research Award from UC San Diego CSE. Awarded June 2022.