Yushuo Xiao 肖宇朔 Direct Doctorate Student Department of Computer Science, ETH Zürich Chinese version

About

I am a first-year master’s student at ETH Zürich (as part of the Direct Doctorate program). I am doing research with Prof. Peter Müller on automated program verifiers. My interest is primarily in programming languages, verification, formal methods and their related fields.

Before that, I graduated from Peking University. I worked with Prof. Zhenjiang Hu on domain-specific languages research.

Education

ETH Zürich, Switzerland (2022—)

Direct Doctorate. Department of Computer Science.

Peking University, Beijing, China (2018—2022)

B.S. Computer Science. Member of Turing Class.

Dalian No. 24 High School, Dalian, China (2015—2018)

High School Diploma.

Research Projects

• Automatic Generation of Integrated Development Environment for Domain-Specific Languages (2021—2022)

  I worked on automatically generating integrated development environment for domain-specific languages built with syntactic sugars. The idea is to implement a middle-layer that communicates between the surface syntax and existing core language servers.

• Domain-specific Language Tool Development (ongoing at Peking University, my participation 2020—2022)

  The domain-specific language team led by Prof. Zhenjiang Hu works on building DSL tools that automatically generate interpreters, compilers, analyzers, etc., from lightweight DSL definition.

Publications

Personal & Course Projects

• A Common-Lisp-to-.NET Compiler

  Course project for Compiler Lab (Honor Track), a three-pass compiler that compiles Common Lisp code to CIL (Common Intermediate Language). It has dead code elimination, tail recursive elimination and peephole optimization.

  Open-source at https://github.com/Dev-XYS/CommonLisp-to-Dotnet-Compiler. (Readme is written in Chinese.)

• Algorithm Library

  A collection of algorithms and data structures implemented in C++. It has gained over a thousand stars on GitHub. Actually, it took me a little effort to achieve that many stars. I advertised the repo on Zhihu and thus attract many people to it.

  Available at https://github.com/Dev-XYS/Algorithms. (Readme and commit messages are written in Chinese.)

Teaching Experiences

Teaching Assistant, Introduction to Computer Systems (seminar) (Fall, 2020)

Schedule

Here is my Google Calendar. You can also see the Chinese homepage for a simplified version of the calendar.