Junhua Huang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICCV | GestureLSM: Latent Shortcut Based Co-Speech Gesture Generation with Spatial-Temporal Modeling. | Pinxin Liu, Luchuan Song, Junhua Huang, Haiyang Liu, Chenliang Xu |
| 2024 | DATE | Parallel 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 |
| 2023 | ICCAD | SATformer: Transformer-Based UNSAT Core Learning. | Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu |
| 2023 | ICCAD | DeepGate2: Functionality-Aware Circuit Representation Learning. | Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu |
| 2023 | KDD | HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. | Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan |
| 2022 | ASPDAC | Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics. | Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao |
| 2022 | ITC | Neural Fault Analysis for SAT-based ATPG. | Junhua Huang, Hui-Ling Zhen, Naixing Wang, Hui Mao, Mingxuan Yuan, Yu Huang |