Experience

 
 
 
 
 

Internship

National Center of Technology Innovation for EDA

May 2024 – Aug 2024 Nanjing, China
 
 
 
 
 

Internship

Tencent

May 2021 – Jun 2021 Shenzhen, China
 
 
 
 
 

Internship

Meituan

Dec 2020 – Mar 2021 Beijing, China
 
 
 
 
 

Internship

Ant Group

May 2020 – Aug 2020 Hangzhou, China

Publications

(2026). SAT-Helper: A Multi-Agent System for Adaptive Optimizing Large-Scale Conjunctive Normal Form. Proceedings of the 63nd Design Automation Conference (DAC). (Corresponding Author)

(2026). Chariot: Compiler-Aware Heterogeneous Graph Representation Learning for Automated HLS Optimization. Proceedings of the 34th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM).

(2026). ELMBA: Escape from Local Minima in Buffer and Splitter Insertion for AQFP Circuits. Proceedings of the 63nd Design Automation Conference (DAC).

(2026). MappingEvolve: LLM-Driven Code Evolution for Technology Mapping. Proceedings of the 63nd Design Automation Conference (DAC).

(2026). Efficient Multi-Array Parallel Scheduling for In-Memory Computing. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD).

PDF DOI

(2025). CHOP: Clustered Hybrid Optimization for Logic Synthesis with Self-Supervised Prediction. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD).

PDF DOI

(2025). eLogic: A E-Graph-based Logic Rewriting Framework for Majority-Inverter Graphs. Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE).

PDF