Publications

S. A. Edwards, R. Townsend, M. A. Kim, "Compositional Dataflow Circuits", In Proceedings of the International Conference on Formal Methods and Models for Codesign (MEMOCODE), Vienna, Austria, September 2017.
R. Townsend, M. A. Kim, S. A. Edwards, "From Functional Programs to Pipelined Dataflow Circuits", In Proceedings of Compiler Construction (CC), Austin, Texas, February 2017.
K. Zhai, R. Townsend, L. Lairmore, M. A. Kim, S. A. Edwards, “Hardware Synthesis from a Recursive Functional Language”, In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES + ISSS), Amsterdam, The Netherlands, October 2015.

Conferences

R. Townsend, M. A. Kim, S. A. Edwards, "Hardware in Haskell: Implementing Memories in a Stream-Based World". Columbia University, Department of Computer Science CUCS-017-15. September 2015.
K. Zhai and R. Townsend and L. Lairmore and M. A. Kim and S. A. Edwards, "Hardware Synthesis from a Recursive Functional Language". Columbia University, Department of Computer Science CUCS-007-15. April 2015.
R. Townsend, M. A. Kim, S. A. Edwards, "Resource Allocation for Hardware Implementations of Map", Workshop on Architectures and Systems for Big Data (ASBD), June 2014.

S. A. Edwards, R. Townsend, M. A. Kim, "Compositional Dataflow Circuits", ACM Transactions on Embedded Computing Systems (TECS) 18(1):5, January 2019.

R. Townsend, "Compiling Irregular Software to Specialized Hardware", PhD diss., Columbia University, 2019.