You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
<p>Currently, I am working on system software verification.</p>
65
+
58
66
<h2id="biography">Biography</h2>
59
67
60
68
<p>
61
-
I’m a PhD student at EPFL working with <ahref="http://dslab.epfl.ch/people/candea/">Professor George Candea</a> (and <ahref="https://zhou-diyu.github.io/"> Dr. Diyu Zhou</a> previously).
69
+
I will be a PhD student at PKU working with <ahref="https://zhou-diyu.github.io/">Prof. Diyu Zhou</a>.
70
+
Before that, I worked with <ahref="http://dslab.epfl.ch/people/candea/">Prof. George Candea</a> and <ahref="https://zhou-diyu.github.io/"> Prof. Diyu Zhou</a> at EPFL.
62
71
Prior to EPFL, I received my master's degree in the <ahref="https://www.cs.tsinghua.edu.cn/">Computer Science Department</a> at <ahref="https://www.tsinghua.edu.cn/">Tsinghua University</a>.
63
72
I worked with <ahref="https://cg.cs.tsinghua.edu.cn/shimin.htm">Shi-Min Hu</a> and <ahref="https://baijiaju.github.io/">Jia-Ju Bai</a> in OSLAB.
64
73
Prior to Tsinghua, I worked 3 years for China Merchants Bank as a software developer.
65
-
Before that, I obtained my Bachelor’s degree at <ahref="https://www.zju.edu.cn/">Zhejiang University</a>.
74
+
Before that, I obtained my Bachelor's degree at <ahref="https://www.zju.edu.cn/">Zhejiang University</a>.
66
75
</p>
67
76
68
77
<hr>
69
78
70
79
<h2id="publications">Publications</h2>
71
80
72
81
<ul>
73
-
<li><ahref="">Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning</a></li>
82
+
<li><ahref="https://zouyonghao.github.io/assets/paper/ndss25-distfuzz.pdf">Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning</a></li>
74
83
</ul>
75
84
<pclass="author"><b>Yonghao Zou</b>, Jia-Ju Bai, Zu-Ming Jiang, Ming Zhao, Diyu Zhou</p>
76
-
<pclass="conference">Proceedings of the 32th Network and Distributed System Security Symposium (NDSS '25)</p>
85
+
<pclass="conference">Proceedings of the 32th Network and Distributed System Security Symposium (NDSS '25). <ahref="https://github.com/zouyonghao/DistFuzz">Code</a></p>
77
86
78
87
<ul>
79
88
<li><ahref="https://dslab.epfl.ch/pubs/tpot.pdf">Practical Verification of System-Software Components Written in Standard C</a></li>
80
89
</ul>
81
90
<pclass="author">Can Cebeci, <b>Yonghao Zou</b>, Diyu Zhou, George Candea, Clément Pit-Claudel</p>
82
-
<pclass="conference">Proceedings of the 30th Symposium on Operating Systems Principles (SOSP '24)</p>
91
+
<pclass="conference">Proceedings of the 30th Symposium on Operating Systems Principles (SOSP '24).</p>
83
92
84
93
<ul>
85
94
<li><ahref="https://zouyonghao.github.io/assets/paper/osdi24posters-final.pdf">Poster: Memory Usage Interfaces for Serverless Functions</a></li>
0 commit comments