Preprints

  1. Zijian Ding, Atefeh Sohrabizadeh, Weikai Li, Zongyue Qin, Yizhou Sun, Jason Cong. Efficient Task Transfer for HLS DSE.
  2. Wan-Hsuan Lin, Jason Cong. ML-QLS: Multilevel Quantum Layout Synthesis. arXiv:2405.18371.
  3. Zongyue Qin, Yunsheng Bai, Atefeh Sohrabizadeh, Zijian Ding, Ziniu Hu, Yizhou Sun, Jason Cong. Cross-Modality Program Representation Learning for Electronic Design Automation with High-Level Synthesis. arXiv:2305.10838.
  4. Stéphane Pouget, Louis-Noël Pouchet, Jason Cong. Enhancing High-Level Synthesis with Automated Pragma Insertion and Code Transformation Framework. arXiv:2405.03058.
  5. Stéphane Pouget, Louis-Noël Pouchet, Jason Cong. Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear Programming Approach. arXiv:2405.12304.
  6. Daniel Bochen Tan, Wan-Hsuan Lin, Jason Cong. Compilation for Dynamically Field-Programmable Qubit Arrays with Efficient and Provably Near-Optimal Scheduling. arXiv:2405.15095.
  7. Hanrui Wang, Pengyu Liu, Daniel Bochen Tan, Yilian Liu, Jiaqi Gu, David Z. Pan, Jason Cong, Umut A. Acar, Song Han. Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays. arXiv:2311.15123.
  8. Hanrui Wang, Daniel Bochen Tan, Pengyu Liu, Yilian Liu, Jiaqi Gu, Jason Cong, Song Han. Q-Pilot: Field Programmable Qubit Array Compilation with Flying Ancillas. arXiv:2311.16190.
  9. Daniel Bochen Tan, Murphy Yuezhen Niu, Craig Gidney. A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing. arXiv:2404.18369.
  10. Zifan He, Zongyue Qin, Neha Prakriya, Yizhou Sun, Jason Cong. HMT: Hierarchical Memory Transformer for Long Context Language Processing.
  11. Daniel Bochen Tan, Shuohao Ping, Jason Cong. Depth-Optimal Addressing of 2D Qubit Array with 1D Controls Based on Exact Binary Matrix Factorization. arXiv:2401.13807.
  12. Hanyu Wang, Bochen Tan, Jason Cong, Giovanni De Micheli. Quantum State Preparation Using an Exact CNOT Synthesis Formulation. arXiv:2401.01009.
  13. Neha Prakriya, Yuze Chi, Suhail Basalama, Linghao Song, Jason Cong. TAPA-CS: Enabling Scalable Accelerator Design on Distributed HBM-FPGAs. arXiv: 2311.10189. [PDF]
  14. Shichang Zhang, Atefeh Sohrabizadeh, Cheng Wan, Zijie Huang, Ziniu Hu, Yewen Wang, Yingyan (Celine) Lin, Jason Cong, Yizhou Sun. A Survey on Graph Neural Network Acceleration: Algorithms, Systems, and Customized Hardware. arXiv:2306.14052v1.
  15. Jason Cong, Michalis Romesis, Joseph R. Shinnerl, Kenton Sze, Min Xie. Locality and Utilization in Placement Suboptimality. arXiv:2305.16413.
  16. Linghao Song, Licheng Guo, Suhail Basalama, Yuze Chi, Robert F. Lucas, Jason Cong. Callipepla: Stream Centric Instruction Set and Mixed Precision for Accelerating Conjugate Gradient Solver. arXiv:2209.14350.
  17. Licheng Guo, Yuze Chi, Jason Lau, Linghao Song, Xingyu Tian, Moazin Khatti, Weikang Qiao, Jie Wang, Ecenur Ustun, Zhenman Fang, Zhiru Zhang, Jason Cong. TAPA: A Scalable Task-Parallel Dataflow Programming Framework for Modern FPGAs with Co-Optimization of HLS and Physical Design.
  18. Zhe Chen, Garrett J. Blair, Changliang Guo, Alicia Izquierdo, Peyman Golshani, Jason Cong, Daniel Aharoni, Hugh T. Blair. A Hardware System for Real-Time Decoding of In-Vivo Calcium Imaging Data. bioRXiv: 2022.01.31.478424.
  19. Karl Marrett, Muye Zhu, Yuze Chi, Chris Choi, Zhe Chen, Hong-Wei Dong, Chang Sin Park, X. William Yang, Jason Cong. Recut: a Concurrent Framework for Sparse Reconstruction of Neuronal Morphology. bioRXiv: 2021.12.07.471686.
  20. Jie Wang, Jason Cong. Search for Optimal Systolic Arrays: A Comprehensive Automated Exploration Framework and Lessons Learned. arXiv:2111.14252.
  21. Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark Barrett, Subhasish Mitra. Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. arXiv:2108.06081, August 17, 2021. [PDF]
  22. Young-kyu Choi, Yuze Chi, Jie Wang, Licheng Guo, Jason Cong. When HLS Meets FPGA HBM: Benchmarking and Bandwidth Optimization. arXiv:2010.06075, October 12, 2020. [PDF]
  23. Yuze Chi, Licheng Guo, Young-kyu Choi, Jie Wang, Jason Cong. Extending High-Level Synthesis for Task-Parallel Programs. arXiv:2009.11389, September 23, 2020. [PDF]
  24. Jason Cong, Zhenman Fang, Yuchen Hao, Peng Wei, Cody Hao Yu, Chen Zhang, Peipei Zhou. Best-Effort FPGA Programming: A Few Steps Can Go a Long Way. arXiv:1807.01340, July 3, 2018. [PDF]