Myron King

According to our database, Myron King authored at least 11 papers between 2007 and 2016.

Collaborative distances:

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

2016

BlueDBM: Distributed Flash Storage for Big Data Analytics.

Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind

ACM Trans. Comput. Syst., 2016

2015

BlueDBM: an appliance for big data analytics.

Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind

Proceedings of the 42nd Annual International Symposium on Computer Architecture, 2015

Software-Driven Hardware Development.

Myron King, Jamey Hicks, John Ankcorn

Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2015

2013

A methodology for hardware-software codesign.

Myron King

PhD thesis, 2013

Generating infrastructure for FPGA-accelerated applications.

Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013

2012

Automatic generation of hardware/software interfaces.

Myron King, Nirav Dave, Arvind

Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

2011

Verification of microarchitectural refinements in rule-based systems.

Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2009

Implementing a fast cartesian-polar matrix interpolator.

Abhinav Agarwal, Nirav Dave, Kermin Fleming, Asif Khan, Myron King, Man Cheuk Ng, Muralidaran Vijayaraghavan

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2008

High-throughput Pipelined Mergesort.

Kermin Fleming, Myron King, Man Cheuk Ng, Asif Khan, Muralidaran Vijayaraghavan

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

2007

Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA.

Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer, Muralidaran Vijayaraghavan

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Continual hashing for efficient fine-grain state inconsistency detection.

Jae W. Lee, Myron King, Krste Asanovic

Proceedings of the 25th International Conference on Computer Design, 2007