Joseph McMahan

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 16

Top Topics

Information Leakage

Hardware And Software

Conjunctive Queries

Top Venues

Publications

Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf
Safe functional systems through integrity types and verified assembly. Theor. Comput. Sci. 851 (2021)
Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze
Reticle: a virtual machine for programming modern FPGAs. PLDI (2021)
Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael B. Taylor, Luis Ceze, Zachary Tatlock
Pure tensor program rewriting via access patterns (representation pearl). MAPS@PLDI (2021)
Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael B. Taylor, Luis Ceze, Zachary Tatlock
Pure Tensor Program Rewriting via Access Patterns (Representation Pearl). CoRR (2021)
Luis Vega, Jared Roesch, Joseph McMahan, Luis Ceze
LastLayer: Toward Hardware and Software Continuous Integration. IEEE Micro 40 (4) (2020)
Weilong Cui, Georgios Tzimpragos, Yu Tao, Joseph McMahan, Deeksha Dangwal, Nestan Tsiskaridze, George Michelogiannakis, Dilip P. Vasudevan, Timothy Sherwood
Language Support for Navigating Architecture Design in Closed Form. ACM J. Emerg. Technol. Comput. Syst. 16 (1) (2020)
Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood
Trace Wringing for Program Trace Privacy. IEEE Micro 40 (3) (2020)
Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood
Bouncer: static program analysis in hardware. ISCA (2019)
Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood
Safer Program Behavior Sharing Through Trace Wringing. ASPLOS (2019)
Weilong Cui, Yongshan Ding, Deeksha Dangwal, Adam Holmes, Joseph McMahan, Ali JavadiAbhari, Georgios Tzimpragos, Frederic T. Chong, Timothy Sherwood
Charm: A Language for Closed-Form High-Level Architecture Modeling. ISCA (2018)
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
An Architecture for Analysis. IEEE Micro 38 (3) (2018)
Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood
Information Leakage in Arbiter Protocols. ATVA (2018)
Alric Althoff, Joseph McMahan, Luis Vega, Scott Davidson, Timothy Sherwood, Michael B. Taylor, Ryan Kastner
Hiding Intermittent Information Leakage with Architectural Support for Blinking. ISCA (2018)
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
An Architecture Supporting Formal and Compositional Binary Analysis. ASPLOS (2017)
John Clow, Georgios Tzimpragos, Deeksha Dangwal, Sammy Guo, Joseph McMahan, Timothy Sherwood
A pythonic approach for rapid hardware prototyping and instrumentation. FPL (2017)
Joseph McMahan, Weilong Cui, Liang Xia, Jeff Heckey, Frederic T. Chong, Timothy Sherwood
Challenging on-chip SRAM security with boot-state statistics. HOST (2017)