Michael Christensen

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 6

Top Topics

Hardware Designs

Vlsi Implementation

Pattern Languages

Top Venues

Theor. Comput. Sci.

Publications

Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf
PyLSE: a pulse-transfer level language for superconductor electronics. PLDI (2022)
Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf
Safe functional systems through integrity types and verified assembly. Theor. Comput. Sci. 851 (2021)
Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf
Wire sorts: a language abstraction for safe hardware composition. PLDI (2021)
Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood
Bouncer: static program analysis in hardware. ISCA (2019)
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
An Architecture for Analysis. IEEE Micro 38 (3) (2018)
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
An Architecture Supporting Formal and Compositional Binary Analysis. ASPLOS (2017)