Follow
Joseph McMahan
Title
Cited by
Cited by
Year
A pythonic approach for rapid hardware prototyping and instrumentation
J Clow, G Tzimpragos, D Dangwal, S Guo, J McMahan, T Sherwood
2017 27th International Conference on Field Programmable Logic and …, 2017
982017
Pure tensor program rewriting via access patterns (representation pearl)
GH Smith, A Liu, S Lyubomirsky, S Davidson, J McMahan, M Taylor, ...
Proceedings of the 5th ACM SIGPLAN International Symposium on Machine …, 2021
392021
Hiding intermittent information leakage with architectural support for blinking
A Althoff, J McMahan, L Vega, S Davidson, T Sherwood, M Taylor, ...
2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture …, 2018
282018
Reticle: A virtual machine for programming modern FPGAs
L Vega, J McMahan, A Sampson, D Grossman, L Ceze
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
122021
Safer program behavior sharing through trace wringing
D Dangwal, W Cui, J McMahan, T Sherwood
Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019
92019
Charm: a language for closed-form high-level architecture modeling
W Cui, Y Ding, D Dangwal, A Holmes, J McMahan, A Javadi-Abhari, ...
2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture …, 2018
92018
Challenging on-chip SRAM security with boot-state statistics
J McMahan, W Cui, L Xia, J Heckey, FT Chong, T Sherwood
2017 IEEE International Symposium on Hardware Oriented Security and Trust …, 2017
92017
An architecture supporting formal and compositional binary analysis
J McMahan, M Christensen, L Nichols, J Roesch, SY Guo, B Hardekopf, ...
ACM SIGARCH Computer Architecture News 45 (1), 177-191, 2017
92017
Bouncer: Static program analysis in hardware
J McMahan, M Christensen, K Dewey, B Hardekopf, T Sherwood
Proceedings of the 46th International Symposium on Computer Architecture …, 2019
42019
LastLayer: Toward hardware and software continuous integration
L Vega, J Roesch, J McMahan, L Ceze
IEEE Micro 40 (4), 103-111, 2020
32020
Trace wringing for program trace privacy
D Dangwal, W Cui, J McMahan, T Sherwood
IEEE Micro 40 (3), 108-115, 2020
32020
Information leakage in arbiter protocols
N Tsiskaridze, L Bang, J McMahan, T Bultan, T Sherwood
Automated Technology for Verification and Analysis: 16th International …, 2018
22018
Safe functional systems through integrity types and verified assembly
M Christensen, J McMahan, L Nichols, J Roesch, T Sherwood, ...
Theoretical Computer Science 851, 39-61, 2021
12021
Language support for navigating architecture design in closed form
W Cui, G Tzimpragos, Y Tao, J McMahan, D Dangwal, N Tsiskaridze, ...
ACM Journal on Emerging Technologies in Computing Systems (JETC) 16 (1), 1-28, 2019
12019
The ZARF Architecture for Recursive Functions
JE McMahan
University of California, Santa Barbara, 2019
12019
An architecture for analysis
J McMahan, M Christensen, L Nichols, J Roesch, SY Guo, B Hardekopf, ...
IEEE Micro 38 (3), 107-115, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–16