Education
| Sep, 2014 - Jun, 2017 | Stony Brook University |
Master of Science |
 Computer Science
 New York, United States
GPA 3.98
|
||
| Sep, 2010 - Jun, 2014 | Fudan University |
Bachelor of Science |
|
Computer Science
Shanghai, China
|
||
Work
| Sep, 2017 - May, 2023 | Hadean Supercomputing Ltd |
Software Engineer |
|
London, England, United Kingdom
Hadean1 enables our clients to easily build massively distributed applications. I research, design and implement critical components of our platform. We mainly using Rust and C++. |
||
| May, 2017 - Aug, 2017 | Google, LLC |
Software Engineer Intern |
|
Mountain View, California, United States
Laid the groundwork for a distributed profiling and performance monitoring system, which enables on-the-fly profiling of tasks running on the Google's cluster manager2. |
||
| May, 2015 - Aug, 2015 | SanDisk |
Software Engineer Intern |
|
Milpitas, California, United States
Developed a persistent memory manager for byte-addressable non-volatile memory. |
||
| Jan, 2014 - Mar, 2014 | Microsoft Research Asia |
Software Engineer Intern |
|
Beijing, China
Worked on adding persistent storage to an in-memory distributed graph database, as part of the Trinity team3. |
||
| Jul, 2013 - Nov, 2013 | eBay Inc. |
Software Engineer Intern |
|
Shanghai, China
Improved the performance of the in house cloud platform. |
||
Open Source
Projects
3489
554A lightweight X11 compositor.
Wayland compositor toolbox for Rust.
DEsktop Automation Infrastructure. Make desktop components scriptable.
Universal terminal job control.
Contributions
Skills
Programming Some of the languages I use, starting from the ones I am best at: C, Rust, D, C++, Python, TypeScript, JavaScript, Lua, Bash, Perl, SQL, VHDL, Verilog, TLA+.
Linux Has been my main operating system for more than 15 years.
Operating systems fundamentals Knowledge of operating system design and implementation. Experiences of designing and building microkernel based operating systems8.
Processor architecture Knowledge of Verilog and VHDL. Experiences of designing and building processors and ISAs.
Compiler Knowledge of writing an optimizing compiler. Experiences of designing and implementing compiler9 frontends and backends.
Debugging Able to troubleshoot complex problems with a variety of tools.
Open source Well accustomed to the open source community. Experiences of contributing to and managing open source projects.
Performance analysis Able to analyze, diagnose and fix performance problems with a variety of tools.
Model checking and formal verification Knowledge of basic model checking and verification theory and techniques. Experiences of working with TLA+.
Publications
| 2020 | Yuxuan Shui. EGL_EXT_platform_xcb. URL:https://www.khronos.org/registry/EGL/extensions/EXT/EGL_EXT_platform_xcb.txt |
| 2019 | Varun Agrawal, Mina Abbasi Dinani, Yuxuan Shui, Michael Ferdman, Nima Honarmand. 2019. Massively Parallel Server Processors. In IEEE Computer Architecture Letters, Institute of Electrical and Electronics Engineers (IEEE). DOI:https://doi.org/10.1109/lca.2019.2911287 |
| 2015 | Jing Zhou, Yuxuan Shui, Shengwen Peng, Xuhui Li, Hiroshi Mamitsuka, Shanfeng Zhu. 2015. MeSHSim: An R/Bioconductor package for measuring semantic similarity over MeSH headings and MEDLINE documents. In Journal of Bioinformatics and Computational Biology, World Scientific Pub Co Pte Lt. DOI:https://doi.org/10.1142/s0219720015420020 |
References
- Hadean. https://hadean.com/
- Abhishek Verma, Luis Pedrosa, Madhukar Korupolu, David Oppenheimer, Eric Tune, John Wilkes. 2015. Large-scale cluster management at Google with Borg. In Proceedings of the Tenth European Conference on Computer Systems, ACM. DOI:https://doi.org/10.1145/2741948.2741964
- Trinity - Microsoft Research. https://www.microsoft.com/en-us/research/project/trinity/
- Persistent L2ARC by gamanakis · Pull Request #9582 · openzfs/zfs · GitHub. https://github.com/openzfs/zfs/pull/9582
- 17943 – Wrong pointer arithmetic optimization. https://issues.dlang.org/show_bug.cgi?id=17943
- 19081 – Can't declare enum with UDA at statement level. https://issues.dlang.org/show_bug.cgi?id=19081
- fix issue 16499 - error message for 'in' expression by yshui · Pull Request #6140 · dlang/dmd · GitHub. https://github.com/dlang/dmd/pull/6140
- GitHub - yshui/SadOS: It makes me sad because I wasn't able to finish it. https://github.com/yshui/SadOS
- GitHub - yshui/protoplasm: A compiler for a simple language. https://github.com/yshui/protoplasm