An Architecture Supporting Formal and Compositional Binary Analysis. - Joseph McMahan; Michael Christensen 001; Lawton Nichols; Jared Roesch; Sung-Yee Guo; Ben Hardekopf; Timothy Sherwood (ASPLOS, 2017)

A pythonic approach for rapid hardware prototyping and instrumentation. - John Clow; Georgios Tzimpragos; Deeksha Dangwal; Sammy Guo; Joseph McMahan; Timothy Sherwood (FPL, 2017)

Challenging on-chip SRAM security with boot-state statistics. - Joseph McMahan; Weilong Cui; Liang Xia; Jeff Heckey; Frederic T. Chong; Timothy Sherwood (HOST, 2017)

Information Leakage in Arbiter Protocols. - Nestan Tsiskaridze; Lucas Bang; Joseph McMahan; Tevfik Bultan; Timothy Sherwood (ATVA, 2018)

Hiding Intermittent Information Leakage with Architectural Support for Blinking. - Alric Althoff; Joseph McMahan; Luis Vega; Scott Davidson 004; Timothy Sherwood; Michael B. Taylor; Ryan Kastner (ISCA, 2018)

Charm: A Language for Closed-Form High-Level Architecture Modeling. - Weilong Cui; Yongshan Ding 001; Deeksha Dangwal; Adam Holmes; Joseph McMahan; Ali JavadiAbhari; Georgios Tzimpragos; Frederic T. Chong; Timothy Sherwood (ISCA, 2018)

An Architecture for Analysis. - Joseph McMahan; Michael Christensen 001; Lawton Nichols; Jared Roesch; Sung-Yee Guo; Ben Hardekopf; Timothy Sherwood (IEEE Micro, 2018)

Safer Program Behavior Sharing Through Trace Wringing. - Deeksha Dangwal; Weilong Cui; Joseph McMahan; Timothy Sherwood (ASPLOS, 2019)

Bouncer: static program analysis in hardware. - Joseph McMahan; Michael Christensen 001; Kyle Dewey; Ben Hardekopf; Timothy Sherwood (ISCA, 2019)

The ZARF Architecture for Recursive Functions - Joseph McMahan (2019)

Language Support for Navigating Architecture Design in Closed Form. - Weilong Cui; Georgios Tzimpragos; Yu Tao; Joseph McMahan; Deeksha Dangwal; Nestan Tsiskaridze; George Michelogiannakis; Dilip P. Vasudevan; Timothy Sherwood (ACM J. Emerg. Technol. Comput. Syst., 2020)

Trace Wringing for Program Trace Privacy. - Deeksha Dangwal; Weilong Cui; Joseph McMahan; Timothy Sherwood (IEEE Micro, 2020)

LastLayer: Toward Hardware and Software Continuous Integration. - Luis Vega; Jared Roesch; Joseph McMahan; Luis Ceze (IEEE Micro, 2020)

Pure tensor program rewriting via access patterns (representation pearl). - Gus Henry Smith; Andrew Liu; Steven Lyubomirsky; Scott Davidson 004; Joseph McMahan; Michael B. Taylor; Luis Ceze; Zachary Tatlock (MAPS@PLDI, 2021)

Reticle: a virtual machine for programming modern FPGAs. - Luis Vega; Joseph McMahan; Adrian Sampson; Dan Grossman; Luis Ceze (PLDI, 2021)

Safe functional systems through integrity types and verified assembly. - Michael Christensen 001; Joseph McMahan; Lawton Nichols; Jared Roesch; Timothy Sherwood; Ben Hardekopf (Theor. Comput. Sci., 2021)