Michael Christensen

201720182019202020212022202320241 3 3 6 9 7 1

การเข้าถึงแบบสาธารณะ

6 บทความ

0 บทความ

ใช้งานได้

ใช้ไม่ได้

อิงตามข้อกำหนดในการรับเงินสนับสนุน

Timothy SherwoodProfessor of Computer Science, UC Santa Barbaraยืนยันอีเมลแล้วที่ cs.ucsb.edu
Joseph McMahanUniversity of California, Santa Barbaraยืนยันอีเมลแล้วที่ cs.ucsb.edu
Jared RoeschOctoML Incยืนยันอีเมลแล้วที่ cs.uw.edu
Lawton NicholsUniversity of California, Santa Barbaraยืนยันอีเมลแล้วที่ cs.ucsb.edu
Sammy GuoUCSBยืนยันอีเมลแล้วที่ umail.ucsb.edu
Jonathan BalkindAssistant Professor, UC Santa Barbaraยืนยันอีเมลแล้วที่ ucsb.edu
Kyle DeweyAssociate Professor of Computer Science, California State University, Northridgeยืนยันอีเมลแล้วที่ csun.edu

Michael Christensen

ยืนยันอีเมลแล้วที่ cs.ucsb.edu - หน้าแรก


ชื่อ เรียงตามการอ้างอิง เรียงตามปี เรียงตามชื่อ	อ้างโดย อ้างโดย	ปี
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

ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง

บทความ 1–7

การอ้างอิงต่อปี