Alexandra Michael smiling at the camera with a blurry cityscape in the background

Contact

You can reach me by email at aemichae[@]cs[.]washington[.]edu.

My GitHub is aemichael. I am infrequently active on LinkedIn.

I am currently looking for research internships for summer 2024. Please check out my CV and/or contact me by email (above).


About me

I am a PhD student at the Allen School of Computer Science and Engineering, at the University of Washington in Seattle. I have a B.S. in Computer Science from UC San Diego.

My research lies at the intersection of security, programming languages, and compilers. I work with David Kohlbrenner in the Security and Privacy Lab and Dan Grossman in the PLSE lab. While an undergraduate at UCSD, I worked with Deian Stefan on Memory-Safe WebAssembly.


Ongoing research


Publications

Michael Flanders, Reshabh K. Sharma, Alexandra E. Michael, Dan Grossman, David Kohlbrenner. Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations. Conditionally accepted to appear at ASPLOS 2024.

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


Honors & awards

NSF GRFP Fellow. March 2023 - present.

Corin Anderson Fellow (University of Washington). September 2022 - June 2023.

Undergraduate Research Award (UC San Diego Computer Science and Engineering). June 2022.

Summa Cum Laude (UC San Diego). December 2021.