Publications

2026

1. ISCA

   SegFold: Accelerating Sparse GEMM with a Fine-Grained Dynamic Dataflow

   Xinrui Wu, Hanyu Wang, Jason Cong, and 1 more author

   In 53rd Annual International Symposium on Computer Architecture (ISCA), 2026

   arXiv Bib HTML

   @inproceedings{wu2026segfold,
     author = {Wu, Xinrui and Wang, Hanyu and Cong, Jason and Nowatzki, Tony},
     title = {SegFold: Accelerating Sparse GEMM with a Fine-Grained Dynamic Dataflow},
     booktitle = {53rd Annual International Symposium on Computer Architecture (ISCA)},
     year = {2026},
   }

2. arXiv

   Logical Resource Estimation for Quantum State Preparation with Compilation

   Diyi Liu, Hanyu Wang, Shuchen Zhu, and 6 more authors

   arXiv preprint, 2026

   arXiv Bib HTML

   @article{liu2026logicalresource,
     author = {Liu, Diyi and Wang, Hanyu and Zhu, Shuchen and Cong, Jason and de Jong, Wibe A. and Fang, Di and Huang, Zhen and Iancu, Costin and Yang, Chao},
     title = {Logical Resource Estimation for Quantum State Preparation with Compilation},
     journal = {arXiv preprint},
     volume = {arXiv:2605.18877},
     year = {2026},
   }

3. DAC

   Quantum Circuit Synthesis Using an Exact T Library

   Hanyu Wang, Mingfei Yu, Xinrui Wu, and 1 more author

   In 63rd ACM/IEEE Design Automation Conference (DAC), 2026

   Page arXiv Bib HTML

   @inproceedings{wang2026exactt,
     author = {Wang, Hanyu and Yu, Mingfei and Wu, Xinrui and Cong, Jason},
     title = {Quantum Circuit Synthesis Using an Exact T Library},
     booktitle = {63rd ACM/IEEE Design Automation Conference (DAC)},
     year = {2026},
   }

4. DAC

   TRAM: Training Approximate Multiplier Structures for Low-Power AI Accelerators

   Chang Meng, Hanyu Wang, Yuyang Ye, and 3 more authors

   In 63rd ACM/IEEE Design Automation Conference (DAC), 2026

   arXiv Bib HTML

   @inproceedings{meng2026tram,
     author = {Meng, Chang and Wang, Hanyu and Ye, Yuyang and Yu, Mingfei and Burleson, Wayne P. and De Micheli, Giovanni},
     title = {TRAM: Training Approximate Multiplier Structures for Low-Power AI Accelerators},
     booktitle = {63rd ACM/IEEE Design Automation Conference (DAC)},
     year = {2026},
   }

2025

1. arXiv

   A High-Performance Multilevel Framework for Quantum Layout Synthesis

   Shuohao Ping, Naren Sathishkumar, Wan-Hsuan Lin, and 2 more authors

   arXiv preprint, 2025

   arXiv Bib HTML

   @article{ping2025mlsabre,
     author = {Ping, Shuohao and Sathishkumar, Naren and Lin, Wan-Hsuan and Wang, Hanyu and Cong, Jason},
     title = {A High-Performance Multilevel Framework for Quantum Layout Synthesis},
     journal = {arXiv preprint},
     volume = {arXiv:2505.24169},
     year = {2025},
   }

2. arXiv

   LLM-DSE: Searching Accelerator Parameters with LLM Agents

   Hanyu Wang, Xinrui Wu, Zijian Ding, and 6 more authors

   arXiv preprint, 2025

   Page arXiv Bib HTML

   @article{wang2025llmdse,
     author = {Wang, Hanyu and Wu, Xinrui and Ding, Zijian and Zheng, Su and Wang, Chengyue and Prakriya, Neha and Nowatzki, Tony and Sun, Yizhou and Cong, Jason},
     title = {LLM-DSE: Searching Accelerator Parameters with LLM Agents},
     journal = {arXiv preprint},
     volume = {arXiv:2505.12188},
     year = {2025},
   }

2024

1. ICCAD

   Quantum State Preparation Circuit Optimization Exploiting Don’t Cares

   Hanyu Wang, Daniel Bochen Tan, and Jason Cong

   In IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2024

   Page arXiv Bib HTML

   @inproceedings{wang2024dontcares,
     author = {Wang, Hanyu and Tan, Daniel Bochen and Cong, Jason},
     title = {Quantum State Preparation Circuit Optimization Exploiting Don't Cares},
     booktitle = {IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},
     pages = {31:1--31:9},
     publisher = {ACM},
     year = {2024},
   }

2. ICCAD

   RareLS: Rarity-Reducing Logic Synthesis for Mitigating Hardware Trojan Threats

   Chang Meng, Mingfei Yu, Hanyu Wang, and 2 more authors

   In IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2024

   Bib HTML

   @inproceedings{meng2024rarels,
     author = {Meng, Chang and Yu, Mingfei and Wang, Hanyu and Burleson, Wayne P. and De Micheli, Giovanni},
     title = {RareLS: Rarity-Reducing Logic Synthesis for Mitigating Hardware Trojan Threats},
     booktitle = {IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},
     pages = {186:1--186:9},
     publisher = {ACM},
     year = {2024},
   }

3. IWLS

   Global Crossover: An Evolution Strategy for Logic Synthesis

   Hanyu Wang, Chang Meng, and Giovanni De Micheli

   In International Workshop on Logic & Synthesis (IWLS), 2024

   Page Bib

   @inproceedings{wang2024globalcrossover,
     author = {Wang, Hanyu and Meng, Chang and De Micheli, Giovanni},
     title = {Global Crossover: An Evolution Strategy for Logic Synthesis},
     booktitle = {International Workshop on Logic \& Synthesis (IWLS)},
     year = {2024},
   }

4. DATE

   Quantum State Preparation Using an Exact CNOT Synthesis Formulation

   Hanyu Wang, Jason Cong, and Giovanni De Micheli

   In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024

   Page arXiv Bib HTML

   @inproceedings{wang2024cnot,
     author = {Wang, Hanyu and Cong, Jason and De Micheli, Giovanni},
     title = {Quantum State Preparation Using an Exact CNOT Synthesis Formulation},
     booktitle = {Design, Automation \& Test in Europe Conference \& Exhibition (DATE)},
     pages = {1--6},
     publisher = {IEEE},
     year = {2024},
   }

5. DATE

   VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting

   Chang Meng, Hanyu Wang, Yuqi Mai, and 2 more authors

   In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024

   Best Paper Nominee Bib HTML PDF

   Best Paper Award Nominee at DATE 2024

   @inproceedings{meng2024vacsem,
     author = {Meng, Chang and Wang, Hanyu and Mai, Yuqi and Qian, Weikang and De Micheli, Giovanni},
     title = {VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting},
     booktitle = {Design, Automation \& Test in Europe Conference \& Exhibition (DATE)},
     pages = {1--6},
     publisher = {IEEE},
     year = {2024},
   }

2023

1. ICCAD

   MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization

   Hanyu Wang, Carmine Rizzi, and Lana Josipović

   In IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2023

   Page Best Paper Nominee Bib HTML PDF

   Best Paper Award Nominee at IWLS 2023 and ICCAD 2023

   @inproceedings{wang2023mapbuf,
     author = {Wang, Hanyu and Rizzi, Carmine and Josipovi{\'c}, Lana},
     title = {MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization},
     booktitle = {IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},
     pages = {1--9},
     publisher = {IEEE},
     year = {2023},
   }

2. arXiv

   AnySyn: A Cost-Generic Logic Synthesis Framework with Customizable Cost Functions

   Hanyu Wang, Siang-Yun Lee, and Giovanni De Micheli

   arXiv preprint, 2023

   arXiv Bib HTML

   @article{wang2023anysyn,
     author = {Wang, Hanyu and Lee, Siang-Yun and De Micheli, Giovanni},
     title = {AnySyn: A Cost-Generic Logic Synthesis Framework with Customizable Cost Functions},
     journal = {arXiv preprint},
     volume = {arXiv:2311.14721},
     year = {2023},
   }

2022

1. IWLS

   A Cost-Generic Resubstitution Algorithm with Customizable Cost Functions

   Hanyu Wang, Siang-Yun Lee, and Giovanni De Micheli

   In International Workshop on Logic & Synthesis (IWLS), 2022

   Page Bib HTML

   @inproceedings{wang2022costgeneric,
     author = {Wang, Hanyu and Lee, Siang-Yun and De Micheli, Giovanni},
     title = {A Cost-Generic Resubstitution Algorithm with Customizable Cost Functions},
     booktitle = {International Workshop on Logic \& Synthesis (IWLS)},
     year = {2022},
   }

2021

1. DAC

   Distilling Arbitration Logic from Traces using Machine Learning: A Case Study on NoC

   Yuan Zhou, Hanyu Wang, Jieming Yin, and 1 more author

   In 58th ACM/IEEE Design Automation Conference (DAC), 2021

   Best Paper Nominee Bib HTML

   Best Paper Award Nominee at DAC 2021

   @inproceedings{zhou2021distilling,
     author = {Zhou, Yuan and Wang, Hanyu and Yin, Jieming and Zhang, Zhiru},
     title = {Distilling Arbitration Logic from Traces using Machine Learning: A Case Study on NoC},
     booktitle = {58th ACM/IEEE Design Automation Conference (DAC)},
     pages = {55--60},
     publisher = {IEEE},
     year = {2021},
   }