-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
212 lines (183 loc) · 10.3 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
<!DOCTYPE html>
<html>
<title>Miao Miao</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="https://www.w3schools.com/w3css/4/w3.css">
<link rel='stylesheet' href='https://fonts.googleapis.com/css?family=Roboto'>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.0/css/all.min.css">
<link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.15.4/css/all.min.css" rel="stylesheet">
<style>
html,
body,
h1,
h2,
h3,
h4,
h5,
h6 {
font-family: "Roboto", sans-serif
}
</style>
<style>
a:link {
color: #009688;
background-color: transparent;
text-decoration: underline;
}
}
</style>
<body class="w3-light-grey">
<!-- Page Container -->
<div class="w3-content w3-margin-top" style="max-width:1400px;">
<!-- The Grid -->
<div class="w3-row-padding">
<!-- Left Column -->
<div class="w3-third">
<div class="w3-white w3-text-grey w3-card-4">
<div class="w3-display-container">
<img src="./imgs/selfie.jpg" style="width:100%" alt="Avatar">
<div class="w3-display-bottomleft w3-container w3-text-white">
<h2>Miao Miao</h2>
</div>
</div>
<div class="w3-container">
<p><i class="fa fa-briefcase fa-fw w3-margin-right w3-large w3-text-teal"></i>Research Assistant</p>
<p><i class="fa fa-home fa-fw w3-margin-right w3-large w3-text-teal"></i>Dallas, TX</p>
<p><i class="fa fa-envelope fa-fw w3-margin-right w3-large w3-text-teal"></i>[email protected]</p>
<p><i class="fa-brands fa-github fa-fw w3-margin-right w3-large w3-text-teal"></i><a
href="https://github.com/AnnabellaM">Github.com/AnnabellaM</a></p>
<p><i class="fab fa-linkedin fa-fw w3-margin-right w3-large w3-text-teal"></i><a
href="https://www.linkedin.com/in/annabellamiao">Linkedin.com/in/annabellamiao</a></p>
<hr>
<p class="w3-large"><b><i class="fa fa-asterisk fa-fw w3-margin-right w3-text-teal"></i>About Me</b></p>
<p>I am a second year Ph.D. student at The University of Texas at Dallas. My faculty supervisor is <a
href="https://personal.utdallas.edu/~swei/">Dr. Shiyi Wei</a>.</p>
<hr>
<p class="w3-large"><b><i class="fa fa-asterisk fa-fw w3-margin-right w3-text-teal"></i>Research
Interests</b></p>
<p>My research interest is in program analysis and its applications in software reliability and security. I focus on enhancing the reliability and usability of static analysis tools by automatically detecting bugs and diagnosing their root causes. Additionally, I work on improving the fuzz testing evaluation process by developing benchmarks that integrate program characteristics, aiming for a more comprehensive and accurate assessment of fuzzing tools.</p>
<hr>
<!-- <div class="w3-display-container">
<img src="./imgs/slater.jpg" style="width:100%" alt="Avatar">
<div class="w3-display-bottomleft w3-container w3-text-white">
<h2>Slater Latiao</h2>
</div>
</div> -->
<!--<div class="w3-light-grey w3-round-xlarge w3-small">
<div class="w3-container w3-center w3-round-xlarge w3-teal" style="width:90%">90%</div>
</div>
<p>Photography</p>
<div class="w3-light-grey w3-round-xlarge w3-small">
<div class="w3-container w3-center w3-round-xlarge w3-teal" style="width:80%">
<div class="w3-center w3-text-white">80%</div>
</div>
</div>
<p>Illustrator</p>
<div class="w3-light-grey w3-round-xlarge w3-small">
<div class="w3-container w3-center w3-round-xlarge w3-teal" style="width:75%">75%</div>
</div>
<p>Media</p>
<div class="w3-light-grey w3-round-xlarge w3-small">
<div class="w3-container w3-center w3-round-xlarge w3-teal" style="width:50%">50%</div>
</div>-->
<br>
</div>
</div><br>
<!-- End Left Column -->
</div>
<!-- Right Column -->
<div class="w3-twothird">
<div class="w3-container w3-card w3-white w3-margin-bottom">
<h2 class="w3-text-grey w3-padding-16"><i
class="fa fa-book fa-fw w3-margin-right w3-xxlarge w3-text-teal"></i>Publications</h2>
<div class="w3-container">
<h5 class="w3-opacity"><b>An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis
Tools</b></h5>
<h6 class="w3-text-teal"><a href="./docs/An_Extensive_Empirica_Study_of_Nondeterministic_Behavior_in_Static_Analysis_Tools_-_Preprint.pdf"><i
class="fa fa-file-pdf fa-fw w3-margin-right"></i></a>ICSE 2025</h6>
<p><strong><u>Miao Miao</u></strong>, Austin Mordahl, Dakota Soles, Alice Beideck, Shiyi Wei</p>
<hr>
</div>
<div class="w3-container">
<h5 class="w3-opacity"><b>Program Feature-based Benchmarking for Fuzz Testing</b></h5>
<h6 class="w3-text-teal"><a href=""><i
class="fa fa-file-pdf fa-fw w3-margin-right"></i></a>ICSE-Companion 2025</h6>
<p><strong><u>Miao Miao</u></strong></p>
<hr>
</div>
<div class="w3-container">
<h5 class="w3-opacity"><b>Visualization Task Taxonomy to Understand the Fuzzing Internals</b></h5>
<h6 class="w3-text-teal"><a href="./docs/visualization.pdf"><i
class="fa fa-file-pdf fa-fw w3-margin-right"></i></a>International Fuzzing Workshop (FUZZING 2024)</h6>
<p>Sriteja Kummita, <strong><u>Miao Miao</u></strong>, Eric Bodden, Shiyi Wei</p>
<hr>
</div>
<div class="w3-container">
<h5 class="w3-opacity"><b>ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis
Tools</b></h5>
<h6 class="w3-text-teal"><a href="./docs/ecstatic.pdf"><i
class="fa fa-file-pdf fa-fw w3-margin-right"></i></a>ISSTA 2023</h6>
<p>Austin Mordahl, Dakota Soles, <strong><u>Miao Miao</u></strong>, Zenong Zhang, Shiyi Wei</p>
<hr>
</div>
<div class="w3-container">
<h5 class="w3-opacity"><b>Towards Automated Identification of Data Constraints in Software Documentation</b></h5>
<h6 class="w3-text-teal">Submitting to EMSE</h6>
<p>Ying Zhou, <strong><u>Miao Miao</u></strong>, Vlad Birsan, Oscar Chaparro, Shiyi Wei, Andrian Marcus</p>
<hr>
</div>
</div>
<!-- <div class="w3-container w3-card w3-white w3-margin-bottom">
<h2 class="w3-text-grey w3-padding-16"><i
class="fa fa-briefcase fa-fw w3-margin-right w3-xxlarge w3-text-teal"></i>Work Experience</h2>
<div class="w3-container"> -->
<!-- <h5 class="w3-opacity"><b>Software Engingeering Intern</b></h5>
<h6 class="w3-text-teal"><i class="fa fa-building fa-fw w3-margin-right"></i>Tinder Inc.    <i
class="fa fa-calendar fa-fw w3-margin-right"></i>May. 2022 - Aug. 2022</h6>
<p>- Contributed to the development of an iOS tooling library to automate the translations pipeline.</p>
<h5 class="w3-opacity"><b>iOS Developer</b></h5>
<h6 class="w3-text-teal"><i class="fa fa-building fa-fw w3-margin-right"></i>LotusFlare Inc.    <i
class="fa fa-calendar fa-fw w3-margin-right"></i>Aug. 2019 - Jun. 2021</h6>
<p>- Developed and maintained 2 iOS apps (mWell PH and myIM3). Including features such as geofencing, teleconsultation, push notifications, event tracking.</p>
<p>- Collaborated with QA team on automated testing and with product team on requirements analysis.</p> -->
<!-- <p>- Investigated on cross-platform solutions (Flutter) which can reduce the development cost by allowing teams to build apps for iOS, Android and web all from a single codebase.</p>
<h5 class="w3-opacity"><b>Junior Software Engineer</b></h5>
<h6 class="w3-text-teal"><i class="fa fa-building fa-fw w3-margin-right"></i>KA Software    <i
class="fa fa-calendar fa-fw w3-margin-right"></i>Apr. 2018 - Apr. 2019</h6> -->
<!-- <p>- Customized Electronic Data Interchange (EDI) solutions for clients with various industry backgrounds.</p>
<p>- Established EDI connections (AS2, OFTP, SFTP, etc.) between clients and business partners. Mapped business documents from/to EDI standardized format.</p>
<p>- Deployed, monitored and maintained clients’ EDI platforms across multiple operating systems.</p>
<hr>
</div>
</div> -->
<div class="w3-container w3-card w3-white">
<h2 class="w3-text-grey w3-padding-16"><i
class="fa fa-certificate fa-fw w3-margin-right w3-xxlarge w3-text-teal"></i>Service Experience</h2>
<div class="w3-container">
<h5 class="w3-opacity"><b>MSR 2025 (Junior PC)</b></h5>
<h6 class="w3-text-teal"><i class="fa fa-calendar fa-fw w3-margin-right"></i>2025</h6>
<h5 class="w3-opacity"><b>ISSTA 2023 (Volunteer)</b></h5>
<h6 class="w3-text-teal"><i class="fa fa-calendar fa-fw w3-margin-right"></i>2023</h6>
<hr>
</div>
</div>
<!-- End Right Column -->
</div>
<!-- End Grid -->
</div>
<!-- End Page Container -->
</div>
<footer class="w3-container w3-teal w3-center w3-margin-top">
<p>When life gives you a lemon, makes it lemonade :-)</p>
<!-- <p>Find me on social media.</p>
<i class="fa fa-facebook-official w3-hover-opacity"></i>
<i class="fa fa-instagram w3-hover-opacity"></i>
<i class="fa fa-snapchat w3-hover-opacity"></i>
<i class="fa fa-pinterest-p w3-hover-opacity"></i>
<i class="fa fa-twitter w3-hover-opacity"></i>
<i class="fa fa-linkedin w3-hover-opacity"></i> -->
<p>Powered by <a href="https://www.w3schools.com/w3css/default.asp" target="_blank">w3.css</a></p>
</footer>
</body>
</html>