Published Work
-
BlueDBM: an appliance for big data analytics
Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind
International Symposium on Computer Architecture (ISCA 2015)
Portland, OR USA. June 2015
[pdf]
-
Software-Driven Hardware Development
Myron King, Jamey Hicks, John Ankcorn
International Symposium on Field Programmable Gate-Arrays (FPGA 2015)
Monterey, CA USA. February 2015
[pdf]
-
Generating Infrastructure for FPGA-Accelerated Applications
Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind
Field Programmable Logic (FPL 2013)
Porto, Portugal. August 2013
[pdf]
-
Automatic Generation of Hardware/Software Interfaces
Myron King, Nirav Dave, Arvind
Architectural Support for Programming Languages and Operating Systems (ASPLOS 2012)
London, UK. March 2012
[pdf]
-
Verification of Microarchitectural Refinements in Rule-based Systems
Nirav Dave, Michael Katelman, Myron King, Arvind, José Mesegeur
Formal Methods and Models for Codesign (MEMOCODE 2011)
Cambridge, UK. July 2011
[pdf]
-
Implementing a Fast Matrix Cartesian-Polar Matrix Interpolator
Abhinav Agarwal, Nirav Dave, Kermin Fleming, Asif Khan, Myron King, Man Cheuk Ng, Muralidaran Vijayaraghavan
Formal Methods and Models for Codesign (MEMOCODE 2009)
Cambridge, MA USA. June 2009
[pdf]
-
High-throughput Pipelined Mergesort
Kermin Fleming, Myron King, Man Cheuk Ng, Asif Khan, Muralidaran Vijayaraghavan
Formal Methods and Models for Codesign (MEMOCODE 2008)
Anaheim, CA USA. June 2008
[pdf]
-
Continual Hashing for Efficient Fine-grain State Inconsistency Detection
Jae W. Lee, Myron King, Krste Asanovic
International Conference on Computer Design (ICCD 2007)
Lake Tahoe, CA. October 2007
[pdf]
-
Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA
Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer, Muralidaran Vijayaraghavan
Formal Methods and Models for Codesign (MEMOCODE 2007)
Nice, France. June 2007
[pdf]