Michael Christensen

According to our database, Michael Christensen authored at least 7 papers between 2017 and 2022.

Collaborative distances:

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

2022

PyLSE: a pulse-transfer level language for superconductor electronics.

Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Programming Language Techniques for Improving ISA and HDL Design.

Michael Christensen

PhD thesis, 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

Wire sorts: a language abstraction for safe hardware composition.

Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf

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

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

2018

An Architecture for Analysis.

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

IEEE Micro, 2018

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