Skip to content

Commit 14cd066

Browse files
zouyonghaozouyonghao
committed
2 parents 4b0cab5 + cc31bfd commit 14cd066

File tree

5 files changed

+65
-26
lines changed

5 files changed

+65
-26
lines changed

‎_layouts/home.html‎

Lines changed: 55 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -18,28 +18,34 @@
1818
</div>
1919
<h1>Yonghao Zou (邹永浩)</h1>
2020
<p class="content">
21-
<a href="https://dslab.epfl.ch/">DSLAB</a>
21+
<a href="https://github.com/TELOS-syslab">TELOS</a>
2222
<br>
23-
<a href="http://ic.epfl.ch/">IC</a>
23+
<a href="https://cs.pku.edu.cn/English/Home.htm">School of Computer Science</a>
2424
<br>
25-
<a href="https://www.epfl.ch/en/">EPFL</a>
25+
<a href="https://english.pku.edu.cn/">Peking University</a>
2626
<br>
2727
</p>
2828
<div class="content">
29-
Email: yonghao.zou (at) epfl.ch <br>
29+
Email: zouyonghao (at) live.cn, zou (at) yonghao.org <br>
3030
</div>
3131
<div class="content">
32-
Address: Room INN-331, Station 14, 1015 Lausanne, Switzerland <br>
32+
Address: Peking University Changping Campus, Nanjian Rd, Changping District, Beijing, China <br>
3333
</div>
3434
</header>
3535
<article class="content">
3636
<section class="post">
3737

3838
<hr>
3939

40-
<h2 id="misc">News</h2>
40+
<h2 id="news">News</h2>
4141

42-
<p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">I joined DSLAB working with <a href="http://dslab.epfl.ch/people/candea/">Professor George Candea</a> and <a href="https://zhou-diyu.github.io/">Dr. Diyu Zhou.</a></p>
42+
<p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">I will continue my PhD study at PKU.</p>
43+
44+
<p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">The DistFuzz paper got accepted.</p>
45+
46+
<!-- <p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">The TPot paper got accepted.</p> -->
47+
48+
<!-- <p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">I joined DSLAB working with <a href="http://dslab.epfl.ch/people/candea/">Professor George Candea</a> and <a href="https://zhou-diyu.github.io/">Dr. Diyu Zhou.</a></p> -->
4349

4450
<!-- <p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">I will be a Ph.D at <a href="https://www.epfl.ch/en/">EPFL</a> in 2023.</p> -->
4551

@@ -51,45 +57,64 @@ <h2 id="misc">News</h2>
5157

5258
<hr>
5359

60+
<h2 id="interests">Research Interests</h2>
61+
62+
<p>Computer Systems, Security, Fuzzing, Verification, Robotics</p>
63+
64+
<p>Currently, I am working on system software verification.</p>
65+
66+
<hr>
67+
5468
<h2 id="biography">Biography</h2>
5569

5670
<p>
57-
I’m a PhD student at EPFL working with <a href="http://dslab.epfl.ch/people/candea/">Professor George Candea</a> and <a href="https://zhou-diyu.github.io/"> Dr. Diyu Zhou</a>.
71+
I will be a PhD student at PKU working with <a href="https://zhou-diyu.github.io/">Prof. Diyu Zhou</a>.
72+
Before that, I worked with <a href="http://dslab.epfl.ch/people/candea/">Prof. George Candea</a> and <a href="https://zhou-diyu.github.io/"> Prof. Diyu Zhou</a> at EPFL.
5873
Prior to EPFL, I received my master's degree in the <a href="https://www.cs.tsinghua.edu.cn/">Computer Science Department</a> at <a href="https://www.tsinghua.edu.cn/">Tsinghua University</a>.
5974
I worked with <a href="https://cg.cs.tsinghua.edu.cn/shimin.htm">Shi-Min Hu</a> and <a href="https://baijiaju.github.io/">Jia-Ju Bai</a> in OSLAB.
6075
Prior to Tsinghua, I worked 3 years for China Merchants Bank as a software developer.
61-
Before that, I obtained my Bachelor’s degree at <a href="https://www.zju.edu.cn/">Zhejiang University</a>.
76+
Before that, I obtained my Bachelor's degree at <a href="https://www.zju.edu.cn/">Zhejiang University</a>.
6277
</p>
6378

6479
<hr>
6580

6681
<h2 id="publications">Publications</h2>
6782

6883
<ul>
69-
<li><a href="">Poster: Memory Usage Interfaces for Serverless Functions</a></li>
84+
<li><a href="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>
85+
</ul>
86+
<p class="author"><b>Yonghao Zou</b>, Jia-Ju Bai, Zu-Ming Jiang, Ming Zhao, Diyu Zhou</p>
87+
<p class="conference">Proceedings of the 32th Network and Distributed System Security Symposium (NDSS '25) <a href="https://github.com/zouyonghao/DistFuzz">Code</a></p>
88+
89+
<ul>
90+
<li><a href="https://dslab.epfl.ch/pubs/tpot.pdf">Practical Verification of System-Software Components Written in Standard C</a></li>
91+
</ul>
92+
<p class="author">Can Cebeci, <b>Yonghao Zou</b>, Diyu Zhou, George Candea, Clément Pit-Claudel</p>
93+
<p class="conference">Proceedings of the 30th Symposium on Operating Systems Principles (SOSP '24)</p>
94+
95+
<ul>
96+
<li><a href="https://zouyonghao.github.io/assets/paper/osdi24posters-final.pdf">Poster: Memory Usage Interfaces for Serverless Functions</a></li>
7097
</ul>
71-
<p><b>Yonghao Zou</b>, David Hua, George Candea.</p>
72-
<p>Poceedings of the 2024 USENIX Symposium on Operating Systems Design and Implementation (OSDI Poster).</p>
98+
<p class="author"><b>Yonghao Zou</b>, David Hua, George Candea</p>
99+
<p class="conference">Poceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24 Poster)</p>
73100

74101
<ul>
75102
<li><a href="https://zouyonghao.github.io/assets/paper/rozz.pdf">ROZZ: Property-based Fuzzing for Robotic Programs in ROS</a></li>
76103
</ul>
77-
<p>Kai-Tao Xie, Jia-Ju Bai, <b>Yong-Hao Zou</b>, Yu-Ping Wang.</p>
78-
<p>Proceedings of the 2022 International Conference on Robotics and Automation (ICRA).</p>
104+
<p class="author">Kai-Tao Xie, Jia-Ju Bai, <b>Yong-Hao Zou</b>, Yu-Ping Wang</p>
105+
<p class="conference">Proceedings of the 2022 International Conference on Robotics and Automation (ICRA '22)</p>
79106

80107
<ul>
81-
<li><a href="https://www.usenix.org/conference/atc21/presentation/zou">TCP-Fuzz: Detecting
82-
Memory and Semantic Bugs in TCP Stacks with Fuzzing</a></li>
108+
<li><a href="https://www.usenix.org/conference/atc21/presentation/zou">TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing</a></li>
83109
</ul>
84-
<p><b>Yong-Hao Zou</b>, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu.</p>
85-
<p>Proceedings of the 2021 USENIX Annual Technical Conference (USENIX ATC).</p>
110+
<p class="author"><b>Yong-Hao Zou</b>, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu</p>
111+
<p class="conference">Proceedings of the 2021 USENIX Annual Technical Conference (ATC '21) <a href="https://github.com/zouyonghao/TCP-Fuzz">Code</a></p>
86112

87113
<ul>
88-
<li><a href="https://zouyonghao.github.io/assets/paper/rory.pdf">Effective Crash Recovery of Robot
89-
Software Programs in ROS</a></li>
114+
<li><a href="https://zouyonghao.github.io/assets/paper/rory.pdf">Effective Crash Recovery of Robot Software Programs in ROS</a></li>
90115
</ul>
91-
<p><b>Yong-Hao Zou</b>, Jia-Ju Bai.</p>
92-
<p>Proceedings of the 2021 International Conference on Robotics and Automation (ICRA).</p>
116+
<p class="author"><b>Yong-Hao Zou</b>, Jia-Ju Bai</p>
117+
<p class="conference">Proceedings of the 2021 International Conference on Robotics and Automation (ICRA '21)</p>
93118

94119
<hr>
95120

@@ -112,7 +137,13 @@ <h2 id="honors">Honors</h2>
112137

113138
<h2 id="honors">Teaching</h2>
114139

115-
<p><a href="https://swent.epfl.ch/">CS-311 The software enterprise - from ideas to products</a>(TA)</p>
140+
<p><a href="https://swent.epfl.ch/">CS-311 The software enterprise - from ideas to products</a>, Spring 2024, Fall 2024, (TA)</p>
141+
142+
<hr>
143+
144+
<h2 id="activities">Academic Activities</h2>
145+
146+
<p>EuroSys 2025 (Shadow PC)</p>
116147

117148
<hr>
118149

@@ -122,7 +153,7 @@ <h2 id="misc">Misc.</h2>
122153
<p>I used "Yong-Hao" as my English name during Tsinghua.</p>
123154
<p>I write some blogs <a href="/blog">here</a>.</p>
124155
<p><a href="http://zouyonghao.github.io/assets/CV.pdf">Curriculum vitae</a></p>
125-
<p>Steam <a href="https://steamcommunity.com/id/dlyxy_zyh/">打雷要下雨</a></p>
156+
<p>Steam <a href="https://steamcommunity.com/id/dlyxy_zyh/">dlyxy_zyh</a></p>
126157

127158
</section>
128159

‎assets/CV.pdf‎

-119 KB
Binary file not shown.

‎assets/css/style.css‎

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -105,14 +105,14 @@ blockquote p {
105105
padding: .5em 0;
106106
}
107107

108-
.content img {
108+
/* .content img {
109109
max-width: 100%;
110110
display: block;
111111
margin: 4px auto;
112112
-webkit-box-shadow: #999 1px 1px 4px;
113113
-moz-box-shadow: #999 1px 1px 4px;
114114
box-shadow: #999 1px 1px 4px;
115-
}
115+
} */
116116

117117
#tag_cloud {
118118
margin-bottom: 1em;
@@ -206,4 +206,12 @@ iframe {
206206

207207
.label-info {
208208
background-color: #3a87ad;
209+
}
210+
211+
.author {
212+
text-indent: 20px;
213+
}
214+
215+
.conference {
216+
text-indent: 20px;
209217
}

‎assets/paper/ndss25-distfuzz.pdf‎

1.77 MB
Binary file not shown.

‎assets/paper/osdi24posters-final.pdf‎

768 KB
Binary file not shown.

0 commit comments

Comments
 (0)