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 | 98 | 2017 |
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 | 39 | 2021 |
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 | 28 | 2018 |
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 | 12 | 2021 |
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 | 9 | 2019 |
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 | 9 | 2018 |
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 | 9 | 2017 |
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 | 9 | 2017 |
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 | 4 | 2019 |
LastLayer: Toward hardware and software continuous integration L Vega, J Roesch, J McMahan, L Ceze IEEE Micro 40 (4), 103-111, 2020 | 3 | 2020 |
Trace wringing for program trace privacy D Dangwal, W Cui, J McMahan, T Sherwood IEEE Micro 40 (3), 108-115, 2020 | 3 | 2020 |
Information leakage in arbiter protocols N Tsiskaridze, L Bang, J McMahan, T Bultan, T Sherwood Automated Technology for Verification and Analysis: 16th International …, 2018 | 2 | 2018 |
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 | 1 | 2021 |
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 | 1 | 2019 |
The ZARF Architecture for Recursive Functions JE McMahan University of California, Santa Barbara, 2019 | 1 | 2019 |
An architecture for analysis J McMahan, M Christensen, L Nichols, J Roesch, SY Guo, B Hardekopf, ... IEEE Micro 38 (3), 107-115, 2018 | 1 | 2018 |