Yifeng Xiao

蕭屹楓

yifeng_xiao-at-berkeley.edu

Hi there! I am currently a EECS Ph.D. student at the University of California, Berkeley (UCB), advised by Prof. Pierluigi Nuzzo. My research focuses on the design and verification of cyber-physical systems (CPS), utilizing contract theory for system abstraction, compositional verification, and AI-based methodologies for system design.

I received my B.E. in Microelectronic Science and Engineering from Fudan University (復旦大學). I was fortunate to work with Prof. Jianli Chen and Prof. Bei Yu on machine learning-based applications in electronic design automation (EDA).

Feel free to reach out to me if you are interested in my research topics or have any questions. I am always open to collaborations and coffee chats!

Publications

Conference Papers

•
Xiao, Y., Oh, C., Lora, M. and Nuzzo, P., 2024, March. Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. In 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (pp. 1-6). IEEE. [Best Paper Award]
•
Su, M., Xiao, Y., Zhang, S., Su, H., Xu, J., He, H., Zhu, Z., Chen, J. and Chang, Y.W., 2022, July. Late Breaking Results: Subgraph Matching Based Reference Placement for PCB Designs. In Proceedings of the 59th ACM/IEEE Design Automation Conference (pp. 1400-1401).
•
Xiao, Y., Su, M., Yang, H., Chen, J., Yu, J. and Yu, B., 2021, December. Low-Cost Lithography Hotspot Detection with Active Entropy Sampling and Model Calibration. In 2021 58th ACM/IEEE Design Automation Conference (DAC) (pp. 907-912). IEEE.
•
Ma, C., Xiao, Y., Wang, S., Yu, J. and Chen, J., 2021, October. CongestNN: An Bi-Directional Congestion Prediction Framework for Large-Scale Heterogeneous FPGAs. Ma, C., Xiao, Y., Wang, S., Yu, J. and Chen, J., 2021, October.

Journal Papers

•
Zhu, Z., Li, Y., Su, M., Zhang, S., Su, H., Xiao, Y., He, H., Chen, J. and Chang, Y.W., 2024. Subgraph Matching-Based Reference Placement for Printed Circuit Board Designs. Zhu, Z., Li, Y., Su, M., Zhang, S., Su, H., Xiao, Y., He, H., Chen, J. and Chang, Y.W., 2024.