Michael Christensen

201720182019202020212022202320241 3 3 6 9 7 1

Public access

6 articles

0 articles

available

not available

Based on funding mandates

Timothy SherwoodProfessor of Computer Science, UC Santa BarbaraVerified email at cs.ucsb.edu
Joseph McMahanUniversity of California, Santa BarbaraVerified email at cs.ucsb.edu
Jared RoeschOctoML IncVerified email at cs.uw.edu
Lawton NicholsUniversity of California, Santa BarbaraVerified email at cs.ucsb.edu
Sammy GuoUCSBVerified email at umail.ucsb.edu
Jonathan BalkindAssistant Professor, UC Santa BarbaraVerified email at ucsb.edu
Kyle DeweyAssociate Professor of Computer Science, California State University, NorthridgeVerified email at csun.edu

Michael Christensen

Verified email at cs.ucsb.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year