Ye Shu (@yechs)

About Me

I am a senior at Williams College, majoring in Computer Science and Philosophy. I am broadly interested in Computer Security, Network Systems, and Programming Languages. I seek to combine formal and empirical methods to combat network and software security issues. I am currently looking for PhD opportunities in these areas. If you want to talk, feel free to reach out at ys5 [at] williams [dot] edu!

Currently I am working on my thesis, which explores formal guarantees on Web API-related codes. For the past summer, I have been working on novel censorship-resistant bootstrapping methods for network proxies with Prof. Roya Ensafi at University of Michigan. Before that, I worked with Prof. Daniel Barowy and Prof. Emery Berger on SureVeyor—a domain specific language and runtime system that constructs randomized, replicable, confound-controlling behavioral surveys and returns noise-free responses.

I am a Linuxer and "BTW I Use Arch" (XD). I went distro-hopping for a long time, before getting into the Arch philosophy. It is now my invaluable partner in various open source contributions, which you can find on my GitHub profile. I am also a security and privacy paranoid.

Within the philosophical domain, I am fascinated about epistemology and philosophy of science. I am heavily influenced by the philosophical traditions of skepticism, relativism, and pragmatism. Some of my favorite philosophers are David Hume, Thomas Kuhn, Paul Feyerabend, and Daniel Dennett. Many have also nudged me to read John Dewey, which I have yet to do. Generally speaking, I am always curious in what we know, how our beliefs are justified, and whether we can build cognizant machines (read: AI).

Publications

3 Other Manuscripts In Preparation
Respectively on the topics of network data plane verification, formal verification of RESTful APIs, and censorship resistance.
Contact me for details if you are interested.
SureVeyor: A Language for High-Quality Online Surveys
Ye Shu, Emmie Hine, Hugo Hua, Emery Berger, Daniel Barowy.
To Appear: PLATEAU 2024. [Contact me for preprint]
Binary Reed-Solomon Coding Based Distributed Storage Scheme in Information-Centric Fog Networks
Ye Shu, Mianxiong Dong, Kaoru Ota, Jun Wu, Siyi Liao.
In: IEEE CAMAD 2018. [PDF (IEEE Xplore)]

Miscellaneous

Hello 👋

I am Ye Shu, a self-proclaimed geek who is enthusiastic in Computer Science, especially in the fields of Information Security and Computer Networking.

CTF & Hackathons

I'm member and co-founder of Team 0x194 and specialize in forensics and crypto. I also organized THE Hack, a series of hackathon events in China.

What's up?

I've been obsessed with amateur radio recently and wonders if I can receive a call sign before September.

Education

I'm now an undergraduate at Williams College, the #1 Liberal Arts College in US and plan to study in various areas including CS, philosophy and maths. I studied IBDP in high school and scored 45 (full score) upon graduation.

Machine Learning

I enjoy employing Machine Learning to solve real-life problems. I once attempted to semantically analyze Android application bytecodes through Skip-Gram and LSTM and have also experimented deep reinforcement learning for intraday trading on Shenzhen Stock Exchange.

Contact Me

You can solve this little challenge to find my email address : )

aGVsbG9Ac2h1eWUuZGV2

Tech Stack

I'm mostly proficient in Golang and Python, though I'm also used to TypeScript/JavaScript, C, PHP,... In addition, I typeset mostly (if not entirely) in Markdown and LaTeX. BTW I use Arch.

Web Developing

I'm a seasoned Web developer who started building websites since 2014 and am familiar to both MVC and MMVM. I used to program in PHP Laravel mostly but have transitioned to Go+React in recent years.

Open Source

I'm a believer in free and open source software (FOSS) and copyleft movement. Most of my works are open sourced if possible so others can potentially benefit from them. The source code for this website can be found here on GitHub.

Port Scanners

In one of my past internships, I specialized in the studies of port scanners, getting into the principles of network protocols like TCP/UDP and IPv4/v6. You can find the slide here for a talk I gave at that time.