1. A. Canis etal 2013. LegUp: An Open-source High-Level Synthesis Tool for FPGA-based Processor/Accelerator Systems. TECS 13 2 (2013). 10.1145/2514740 A. Canis et al. 2013. LegUp: An Open-source High-Level Synthesis Tool for FPGA-based Processor/Accelerator Systems. TECS 13 2 (2013). 10.1145/2514740
2. A. Cilardo and L. Gallo. 2015. Improving Multibank Memory Access Parallelism with Lattice-Based Partitioning. TACO 11 4 (2015). 10.1145/2675359 A. Cilardo and L. Gallo. 2015. Improving Multibank Memory Access Parallelism with Lattice-Based Partitioning. TACO 11 4 (2015). 10.1145/2675359
3. Amazon EC2 F1 instances. 2018. (2018). https://aws.amazon.com/ Amazon EC2 F1 instances. 2018. (2018). https://aws.amazon.com/
4. C. Lattner and V. Adve. 2004. LLVM: a compilation framework for lifelong program analysis & transformation. In CGO. IEEE San Jose CA. C. Lattner and V. Adve. 2004. LLVM: a compilation framework for lifelong program analysis & transformation. In CGO. IEEE San Jose CA.
5. N. Y. S. Chong. 2014. Scalable Verification Techniques for Data-Parallel Programs. Doctoral Thesis. Imperial College London London UK. N. Y. S. Chong. 2014. Scalable Verification Techniques for Data-Parallel Programs. Doctoral Thesis. Imperial College London London UK.