Joseph McMahan

According to our database, Joseph McMahan authored at least 16 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Safe functional systems through integrity types and verified assembly.

Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf

Theor. Comput. Sci., 2021

Reticle: a virtual machine for programming modern FPGAs.

Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Pure tensor program rewriting via access patterns (representation pearl).

Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael B. Taylor, Luis Ceze, Zachary Tatlock

Proceedings of the MAPS@PLDI 2021: Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming, 2021

2020

LastLayer: Toward Hardware and Software Continuous Integration.

Luis Vega, Jared Roesch, Joseph McMahan, Luis Ceze

IEEE Micro, 2020

Trace Wringing for Program Trace Privacy.

Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood

IEEE Micro, 2020

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

2019

The ZARF Architecture for Recursive Functions

Joseph McMahan

PhD thesis, 2019

Bouncer: static program analysis in hardware.

Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood

Proceedings of the 46th International Symposium on Computer Architecture, 2019

Safer Program Behavior Sharing Through Trace Wringing.

Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

An Architecture for Analysis.

Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood

IEEE Micro, 2018

Charm: A Language for Closed-Form High-Level Architecture Modeling.

Weilong Cui, Yongshan Ding, Deeksha Dangwal, Adam Holmes, Joseph McMahan, Ali JavadiAbhari, Georgios Tzimpragos, Frederic T. Chong, Timothy Sherwood

Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

Hiding Intermittent Information Leakage with Architectural Support for Blinking.

Alric Althoff, Joseph McMahan, Luis Vega, Scott Davidson, Timothy Sherwood, Michael B. Taylor, Ryan Kastner

Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

Information Leakage in Arbiter Protocols.

Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Challenging on-chip SRAM security with boot-state statistics.

Joseph McMahan, Weilong Cui, Liang Xia, Jeff Heckey, Frederic T. Chong, Timothy Sherwood

Proceedings of the 2017 IEEE International Symposium on Hardware Oriented Security and Trust, 2017

A pythonic approach for rapid hardware prototyping and instrumentation.

John Clow, Georgios Tzimpragos, Deeksha Dangwal, Sammy Guo, Joseph McMahan, Timothy Sherwood

Proceedings of the 27th International Conference on Field Programmable Logic and Applications, 2017

An Architecture Supporting Formal and Compositional Binary Analysis.

Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017