Programming Language Techniques for Improving ISA and HDL Design
Michael Christensen, UC Santa Barbara, December 2021.
PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf.
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), June 2022. San Diego, CA, USA.
Preprint Artifact
Wire Sorts: A Language Abstraction for Safe Hardware Composition
Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf.
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), June 2021. Virtual Event, Canada.
Preprint Artifact
Safe Functional Systems through Integrity Types and Verified Assembly
Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf.
Theoretical Computer Science, 2020.
Bouncer: Static Program Analysis in Hardware
Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood.
Proceedings of the 2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA), June 2019. Phoenix, AZ, USA.
An Architecture for Analysis
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, and Timothy Sherwood.
IEEE Micro: Top Picks from the 2017 Computer Architecture Conferences (IEEE Micro - Top Pick), vol. 38, no. 3, pp. 107-115, May/June 2018.
An Architecture Supporting Formal and Compositional Binary Analysis
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, and Timothy Sherwood.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April 2017. Xi’an, China.
Memory Safety in Systems Languages
CS Major Area Exam, June 11, 2018. UC Santa Barbara.
Typed Zarf
SoCal Programming Languages and Systems Workshop. September 22, 2017. UC Riverside.