-
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.
Publications
Conferences
Workshops and Tech Reports
-
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.
Journals
-
S. A. Edwards, R. Townsend, M. A. Kim, "Compositional Dataflow Circuits", ACM Transactions on Embedded Computing Systems (TECS) 18(1):5, January 2019.
PhD Thesis
-
R. Townsend, "Compiling Irregular Software to Specialized Hardware", PhD diss., Columbia University, 2019.