Richard Townsend

Resource Allocation for Hardware Implementations of Map

Martha A. Kim, S. Edwards, Richard Townsend, 2014 .

FHW Project : High-Level Hardware Synthesis from Haskell Programs

Martha A. Kim, S. Edwards, Richard Townsend, 2019 .

Compiling Irregular Software to Specialized Hardware

Richard Morse Townsend, Richard Townsend, 2019 .

Compositional dataflow circuits

Stephen A. Edwards, Martha A. Kim, Richard Townsend, 2017, MEMOCODE.

From functional programs to pipelined dataflow circuits

Stephen A. Edwards, Martha A. Kim, Richard Townsend, 2017, CC.

Hardware synthesis from a recursive functional language

Stephen A. Edwards, Martha A. Kim, Kuangya Zhai, 2015, 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Compositional Dataflow Circuits

Stephen A. Edwards, Martha A. Kim, Richard Townsend, 2019, ACM Trans. Embed. Comput. Syst..