I am a second-year PhD student in computer science at the University of Wisconsin–Madison. I am now doing research at madPL group, supervised by Loris D'Antoni and Aws Albarghouthi. I received my B.S. in Computer Science at Peking University (PKU) in 2019, supervised by Yingfei Xiong.
I am good at algorithms and data structures. I was one of the teaching assistants of Algorithm Design and Analysis in 2018 spring semester. I was a contestant of ACM-ICPC and I had won four gold medals at Regional and China-Final contests. When I was in high school, I won a gold medal at the National Olympiad of Informatics.
Here is my CV.
My main research interest is software engineering and programming language, especially software analytics, repair, and programming synthesis. I am also interested in natural language processing. Recently I am focusing on testing, verifying, and understanding ML/DL approaches for software engineering tasks (such as program synthesis, document generation).
- Robustness to Programmable String Transformations via Augmented Abstract Training
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
To appear at International Conference on Machine Learning (ICML 2020)
- Detecting Numerical Bugs in Neural Network Architectures
ACM SIGSOFT Distinguished Paper Award
Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie
To appear at ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
- An Empirical Study on TensorFlow Program Bugs
Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang
ISSTA 2018 Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2018)
- Top 10 undergraduate thesis (School of EECS, Peking University)
- ACM-ICPC gold medals
- Xi’an Regional 2017,
Ho-Chi-Minh City Regional 2017 (4th place);
- Dalian Regional 2016,
Yangon Regional 2016 (7th place), China-Final 2016;
- Hefei Regional 2015.
- SenseTime Scholarship (2019, SenseTime);
- Suzhou Industrial Park
Scholarship (2017-2018, Peking University);
Scholarship (2016-2017, School of EECS, Peking University);
- iPinYou Scholarship
(2015-2016, School of EECS, Peking University).
- Teaching assistants
- Algorithm Design and
Analysis (Spring 2018, Peking University).
I love swimming. My best record of 2km-swimming is 42 minutes. I find swimming is a good way to ease my anxiety. Currently, I focus on keeping fit and I go to gym three times a week. I also love cooking. I hope that I could open a blog to record my dishes throughout my PhD study. Yo estudio español.
My girlfriend Haotang Liu has her lovely personal website.
- 1210 W. Dayton Street, Room 6352
- yuhaoz ~at~ cs ~dot~ wisc ~dot~ edu