Continual hashing for efficient fine-grain state inconsistency detection. - Jae W. Lee; Myron King; Krste Asanovic (ICCD, 2007)

Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA. - Nirav Dave; Kermin Fleming; Myron King; Michael Pellauer; Muralidaran Vijayaraghavan (MEMOCODE, 2007)

High-throughput Pipelined Mergesort. - Kermin Fleming; Myron King; Man Cheuk Ng; Asif Khan 005; Muralidaran Vijayaraghavan (MEMOCODE, 2008)

Implementing a fast cartesian-polar matrix interpolator. - Abhinav Agarwal; Nirav Dave; Kermin Fleming; Asif Khan 005; Myron King; Man Cheuk Ng; Muralidaran Vijayaraghavan (MEMOCODE, 2009)

Verification of microarchitectural refinements in rule-based systems. - Nirav Dave; Michael Katelman; Myron King; Arvind 001; José Meseguer 001 (MEMOCODE, 2011)

Automatic generation of hardware/software interfaces. - Myron King; Nirav Dave; Arvind 001 (ASPLOS, 2012)

Generating infrastructure for FPGA-accelerated applications. - Myron King; Asif Khan 005; Abhinav Agarwal; Oriol Arcas; Arvind 001 (FPL, 2013)

A methodology for hardware-software codesign. - Myron King (2013)

Software-Driven Hardware Development. - Myron King; Jamey Hicks; John Ankcorn (FPGA, 2015)

BlueDBM: an appliance for big data analytics. - Sang Woo Jun; Ming Liu; Sungjin Lee 001; Jamey Hicks; John Ankcorn; Myron King; Shuotao Xu; Arvind 001 (ISCA, 2015)

BlueDBM: Distributed Flash Storage for Big Data Analytics. - Sang Woo Jun; Ming Liu; Sungjin Lee 001; Jamey Hicks; John Ankcorn; Myron King; Shuotao Xu; Arvind 001 (ACM Trans. Comput. Syst., 2016)