| 2026 | VTS | FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification. | Lily Jiaxin Wan, Chia-Tung Ho, Yunsheng Bai, Cunxi Yu, Deming Chen, Haoxing Ren |
| 2025 | AAAI | VerilogCoder: Autonomous Verilog Coding Agents with Graph-based Planning and Abstract Syntax Tree (AST)-based Waveform Tracing Tool. | Chia-Tung Ho, Haoxing Ren, Brucek Khailany |
| 2025 | DATE | ChipVQA: Benchmarking Visual Language Models for Chip Design. | Haoyu Yang, Qijing Huang, Nathaniel Ross Pinckney, Walker J. Turner, Wenfei Zhou, Yanqing Zhang, Chia-Tung Ho, Chen-Chia Chang, Haoxing Ren |
| 2024 | DAC | DGR: Differentiable Global Router. | Wei Li, Rongjian Liang, Anthony Agnesina, Haoyu Yang, Chia-Tung Ho, Anand Rajaram, Haoxing Ren |
| 2022 | ASPDAC | Net Separation-Oriented Printed Circuit Board Placement via Margin Maximization. | Chung-Kuan Cheng, Chia-Tung Ho, Chester Holtz |
| 2020 | ICCAD | A Routability-Driven Complimentary-FET (CFET) Standard Cell Synthesis Framework using SMT. | Chung-Kuan Cheng, Chia-Tung Ho, Daeyeal Lee, Dongwon Park |
| 2019 | ICCAD | IncPIRD: Fast Learning-Based Prediction of Incremental IR Drop. | Chia-Tung Ho, Andrew B. Kahng |