Wire sorts: A language abstraction for safe hardware composition M Christensen, T Sherwood, J Balkind, B Hardekopf Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 13 | 2021 |
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 |
PyLSE: A pulse-transfer level language for superconductor electronics M Christensen, G Tzimpragos, H Kringen, J Volk, T Sherwood, ... Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 3 | 2022 |
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 | 3 | 2019 |
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 |
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 |
Programming Language Techniques for Improving ISA and HDL Design MA Christensen University of California, Santa Barbara, 2021 | | 2021 |