Joseph E. McMahan



Joseph McMahan is a postdoctoral researcher in Seattle working for the SAMPL Group under Luis Ceze. His research focuses on computer architecture and one or more of {security, formal methods, deep learning}.

He earned his PhD in 2019 from UC Santa Barbara, where he worked with Timothy Sherwood at the ArchLab. His PhD thesis was centered around a novel computer architecture, the Zarf Architecture for Recursive Functions (Zarf), which seeks to alleviate the high cost of performing low-level verification and analysis on software systems; see ASPLOS '17, IEEE Micro Top Picks '18, and ISCA '19. His PhD work also dealt heavily with formal analysis of architectural side-channels; see Host '17, ISCA '18, and ATVA '18. His PhD thesis was awarded Honorable Mention for the 2020 ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award. He holds a B.A. in Physics from Princeton University.

Interests include coffee, music, fiction, modernist poetry, 3D printing, and video games.

Reach him at jmcmahan[at]cs.washington.edu.