Skip to content

Hongduo Liu

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

4

Active years

2021–2026

Best venue rank

A*

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2026ASPDACLLM-Assisted Circuit Verification: A Comprehensive Survey.Hongduo Liu, Yuntao Lu, Mingjun Wang, Xufeng Yao, Bei Yu
2025DACLLMShare: Optimizing LLM Inference Serving with Hardware Architecture Exploration.Hongduo Liu, Chen Bai, Peng Xu, Lihao Yin, Xianzhi Yu, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2024DACNeuroSelect: Learning to Select Clauses in SAT Solvers.Hongduo Liu, Peng Xu, Yuan Pu, Lihao Yin, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2024DATEParallel Grbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification.Hongduo Liu, Peiyu Liao, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2023DACOn a Moreau Envelope Wirelength Model for Analytical Global Placement.Peiyu Liao, Hongduo Liu, Yibo Lin, Bei Yu, Martin D. F. Wong
2023DACLayout Decomposition via Boolean Satisfiability.Hongduo Liu, Peiyu Liao, Mengchuan Zou, Bowen Pang, Xijun Li, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2021ICCADDevelSet: Deep Neural Level Set for Instant Mask Optimization.Guojin Chen, Ziyang Yu, Hongduo Liu, Yuzhe Ma, Bei Yu