Yifeng Xiao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Contract-Based Architecture Exploration of Cyber-Physical Systems via Satisfiability Modulo Convex Programming. | Yifeng Xiao, Pierluigi Nuzzo |
| 2025 | IJCAI | Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming. | Arya Fayyazi, Yifeng Xiao, Pierluigi Nuzzo, Massoud Pedram |
| 2024 | DATE | Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. | Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo |
| 2022 | DAC | Subgraph matching based reference placement for PCB designs: late breaking results. | Miaodi Su, Yifeng Xiao, Shu Zhang, Haiyuan Su, Jiacen Xu, Huan He, Ziran Zhu, Jianli Chen, Yao-Wen Chang |
| 2021 | DAC | Low-Cost Lithography Hotspot Detection with Active Entropy Sampling and Model Calibration. | Yifeng Xiao, Miaodi Su, Haoyu Yang, Jianli Chen, Jun Yu, Bei Yu |