• 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.

tufts.png

The Computer Science Department at Tufts University

© 2020 by Richard Townsend. Proudly created with Wix.com

  • LinkedIn Clean Grey