Skip to content

Commit d5d254e

Browse files
yechsyechs
committed
page: update index page content
1 parent f63f683 commit d5d254e

File tree

4 files changed

+128
-58
lines changed

4 files changed

+128
-58
lines changed

‎src/data/HomepageCardsContent.tsx‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,10 @@ import Link from '@docusaurus/Link';
44
import type { CardProps } from '../components/Card';
55

66
const HomepageCardsContent: CardProps[] = [
7+
{
8+
title: 'Outdated Contents 🚧',
9+
children: <p>These cards haven&apos;t been updated since 2020.</p>,
10+
},
711
{
812
title: 'Hello 👋',
913
children: (

‎src/data/HomepageNews.tsx‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,45 @@ import React from 'react';
22
import { NewsItem } from '../components/News';
33

44
const HomepageNewsContent: NewsItem[] = [
5+
{
6+
date: '2024/09/23',
7+
content: <>I started my PhD studies at UCSD!</>,
8+
},
9+
{
10+
date: '2024/06/02',
11+
content: (
12+
<>
13+
I graudated{' '}
14+
<a href="https://commencement.williams.edu/commencement-2024/program-2024/latin-honors-2024/">
15+
cum laude
16+
</a>{' '}
17+
from Williams College with{' '}
18+
<a href="https://commencement.williams.edu/commencement-2024/program-2024/departmental-honors-2024/">
19+
<b>highest honors</b>
20+
</a>{' '}
21+
in Computer Science! I am also{' '}
22+
<a href="https://commencement.williams.edu/commencement-2024/program-2024/sigma-xi-2024/">
23+
inducted to Sigma Xi
24+
</a>
25+
, the Scientific Research Honor Society.
26+
</>
27+
),
28+
},
29+
{
30+
date: '2024/05/14',
31+
content: (
32+
<>
33+
I defended my <a href="https://doi.org/10.36934/TR2024_234">thesis</a>,
34+
in which I used symbolic execution to formally verify conformance of
35+
Express.JS programs to OpenAPI specifications. The presentation was
36+
awarded{' '}
37+
<a href="https://commencement.williams.edu/fellowships-and-prizes-2024/">
38+
Sam Goldberg Colloquium Prize in Computer Science
39+
</a>{' '}
40+
for <b>best thesis defense</b>.
41+
</>
42+
),
43+
},
544
{
645
date: '2023/12/20',
746
content: (

‎src/pages/index.module.css‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -68,3 +68,13 @@
6868
.paperInfo small {
6969
font-size: 1rem;
7070
}
71+
72+
.paperLinks {
73+
display: inline;
74+
}
75+
76+
@media only screen and (max-width: 1200px) {
77+
.paperLinks {
78+
display: block;
79+
}
80+
}

‎src/pages/index.tsx‎

Lines changed: 75 additions & 58 deletions
Original file line numberDiff line numberDiff line change
@@ -46,62 +46,45 @@ function AboutMe(): ReactElement {
4646
<h2 className={styles.sectionTitle}>About Me</h2>
4747
<div>
4848
<p>
49-
I am a senior at <a href="https://williams.edu">Williams College</a>
50-
, majoring in{' '}
51-
<a href="https://csci.williams.edu/">Computer Science</a> and{' '}
52-
<a href="https://philosophy.williams.edu">Philosophy</a>. I am
53-
broadly interested in Computer Security, Network Systems, and
54-
Programming Languages. I seek to combine formal and empirical
55-
methods to combat network and software security issues. I am
56-
currently looking for PhD opportunities in these areas. If you want
57-
to talk, feel free to reach out at{' '}
58-
<code>ys5 [at] williams [dot] edu</code>!
59-
</p>
60-
<p>
61-
Currently I am working on my thesis, which explores formal
62-
guarantees on Web API-related codes. For the past summer, I have
63-
been working on novel censorship-resistant bootstrapping methods for
64-
network proxies with <a href="https://ensa.fi">Prof. Roya Ensafi</a>{' '}
65-
at <a href="https://umich.edu">University of Michigan</a>. Before
66-
that, I worked with{' '}
67-
<a href="https://www.cs.williams.edu/~dbarowy/">
68-
Prof. Daniel Barowy
69-
</a>{' '}
70-
and{' '}
71-
<a href="https://https://emeryberger.com/">Prof. Emery Berger</a> on
72-
SureVeyor—a domain specific language and runtime system that
73-
constructs randomized, replicable, confound-controlling behavioral
74-
surveys and returns noise-free responses.
49+
I am a first-year Computer Science PhD student advised by Prof.{' '}
50+
<a href="https://cseweb.ucsd.edu/~savage/">Stefan Savage</a> and
51+
Prof. <a href="https://cseweb.ucsd.edu/~voelker/">Geoff Voelker</a>{' '}
52+
at University of California, San Diego. I am broadly interested in
53+
Security, Network Systems, and Programming Languages. I seek to
54+
combine formal and empirical methods to combat network security
55+
issues.
7556
</p>
7657
<p>
77-
I am a Linuxer and{' '}
78-
<a href="https://wiki.archlinux.org/title/arch_is_the_best">
79-
&quot;BTW I Use Arch&quot;
80-
</a>{' '}
81-
(XD). I went distro-hopping for a long time, before getting into{' '}
82-
<a href="https://wiki.archlinux.org/title/Arch_Linux#Principles">
83-
the Arch philosophy
84-
</a>
85-
. It is now my invaluable partner in various open source
86-
contributions, which you can find on{' '}
87-
<a href="https://github.com/yechs">my GitHub profile</a>. I am also
88-
a security and privacy paranoid.
58+
Before joining UCSD, I was a{' '}
59+
<a href="https://csci.williams.edu/">Computer Science</a> and{' '}
60+
<a href="https://philosophy.williams.edu">Philosophy</a> double
61+
major at <a href="https://williams.edu">Williams College</a>, where
62+
I worked with Prof.{' '}
63+
<a href="https://www.cs.williams.edu/~dbarowy/">Daniel Barowy</a> on
64+
various Programming Language topics. We used symbolic execution to
65+
formally verify conformance to OpenAPI specifications and also
66+
developed a domain specific language for online surveys (in
67+
collaboration with Prof.{' '}
68+
<a href="https://emeryberger.com/">Emery Berger</a>). In addition, I
69+
have spent a summer working with Prof.{' '}
70+
<a href="https://ensa.fi">Roya Ensafi</a> at{' '}
71+
<a href="https://umich.edu">University of Michigan</a>, where we
72+
proposed a novel censorship-resistant bootstrapping methods for
73+
network proxies.
8974
</p>
9075
<p>
91-
Within the philosophical domain, I am fascinated about epistemology
92-
and philosophy of science. I am heavily influenced by the
93-
philosophical traditions of{' '}
76+
Within the philosophical domain, I am fascinated about epistemology,
77+
philosophy of science, and philosophy of mind. In English, they are
78+
just fancy terms for what we know, how our beliefs are justified,
79+
and whether we can build cognizant machines (read: AI). I am heavily
80+
influenced by the philosophical traditions of{' '}
9481
<a href="https://plato.stanford.edu/entries/skepticism/">
9582
skepticism
96-
</a>
97-
,{' '}
83+
</a>{' '}
84+
and{' '}
9885
<a href="https://plato.stanford.edu/entries/relativism/">
9986
relativism
10087
</a>
101-
, and{' '}
102-
<a href="https://plato.stanford.edu/entries/pragmatism/">
103-
pragmatism
104-
</a>
10588
. Some of my favorite philosophers are{' '}
10689
<a href="https://plato.stanford.edu/entries/hume/">David Hume</a>,{' '}
10790
<a href="https://plato.stanford.edu/entries/thomas-kuhn/">
@@ -115,11 +98,7 @@ function AboutMe(): ReactElement {
11598
<a href="https://en.wikipedia.org/wiki/Daniel_Dennett">
11699
Daniel Dennett
117100
</a>
118-
. Many have also nudged me to read{' '}
119-
<a href="https://plato.stanford.edu/entries/dewey/">John Dewey</a>,
120-
which I have yet to do. Generally speaking, I am always curious in
121-
what we know, how our beliefs are justified, and whether we can
122-
build cognizant machines (read: AI).
101+
.
123102
</p>
124103
</div>
125104
</section>
@@ -150,12 +129,39 @@ function Publications(): ReactElement {
150129
<div className={styles.paperInfo}>
151130
<small>
152131
Respectively on the topics of network data plane verification,
153-
formal verification of RESTful APIs, and censorship resistance.
132+
domain specific language for online surveys, and censorship
133+
resistance.
154134
</small>
155135
<br />
156136
Contact me for details if you are interested.
157137
</div>
158138
</li>
139+
<li>
140+
<h3 className={styles.paperTitle}>
141+
RESTAssured: Formally Verifying RESTful API Specification
142+
Conformance in Server-side Web Applications
143+
</h3>
144+
<div className={styles.paperInfo}>
145+
<small>
146+
<u>
147+
<b>Ye Shu</b>
148+
</u>
149+
. Advised by Daniel Barowy.
150+
</small>
151+
<br />
152+
<b>
153+
<i>Undergraduate Honor Thesis.</i>
154+
</b>{' '}
155+
Williams College. 2024. Won <b>Heighest Honors</b> and{' '}
156+
<b>Goldberg Colloquium Prize for Best CS Thesis Defense.</b>{' '}
157+
<span className={styles.paperLinks}>
158+
<a href="https://doi.org/10.36934/TR2024_234">
159+
[PDF (Williams College)]
160+
</a>
161+
</span>
162+
</div>
163+
</li>
164+
159165
<li>
160166
<h3 className={styles.paperTitle}>
161167
SureVeyor: A Language for High-Quality Online Surveys
@@ -169,9 +175,15 @@ function Publications(): ReactElement {
169175
</small>
170176
<br />
171177
<b>
172-
<i>To Appear:</i>
178+
<i>Presented At:</i>
173179
</b>{' '}
174-
PLATEAU 2024. [Contact me for preprint]
180+
PLATEAU 2024.{' '}
181+
<span className={styles.paperLinks}>
182+
<a href="https://2024.plateau-workshop.org/program">
183+
[Conference]
184+
</a>{' '}
185+
[Contact me for paper]
186+
</span>
175187
</div>
176188
</li>
177189
<li>
@@ -191,9 +203,14 @@ function Publications(): ReactElement {
191203
<i>In:</i>
192204
</b>{' '}
193205
IEEE CAMAD 2018.{' '}
194-
<a href="https://ieeexplore.ieee.org/document/8514998">
195-
[PDF (IEEE Xplore)]
196-
</a>
206+
<span className={styles.paperLinks}>
207+
<a href="https://camad2018.ieee-camad.org/program/index.html">
208+
[Conference]
209+
</a>{' '}
210+
<a href="https://ieeexplore.ieee.org/document/8514998">
211+
[PDF (IEEE Xplore)]
212+
</a>
213+
</span>
197214
</div>
198215
</li>
199216
</ul>

0 commit comments

Comments
 (0)