Experiences

Mar 2021-
R&D Engineer, VCS SystemVerilog compiler team, Synopsys Shanghai
- Build reliable and efficient systems in C/C++/Rust to enhance VCS's random test case generation
- Implement latest language features in the IEEE SystemVerilog standard
- Support customers to leverage VCS's full power to reach their verification goal
- Refactor legacy codebase using modern technologies and best engineering practice
- Daily debug to troubleshoot memory-safety issues and locate performance bottlenecks
- Research on satisfiability theory, SMT solvers and vectorization

Projects

Jun 2019- aiifabbf.github.io, my personal blog on various technical topics (in Chinese language)
Jun 2020 ray-tracer, a ray-tracing renderer in Rust. Render photo-realistic images in the browser!
Mar 2021 parsec, a parser combinator framework in Rust that lets you build complicated parsers by composing small parsers.
Jun 2025 zoku, a terminal multiplexer in Rust. An alternative to screen/tmux that does not mess up your terminal emulator. Built with Tokio async framework.
Oct 2019
steve, a course project for Computer Graphics
- Home-made naive 3D-engine around WebGL's drawing primitives in TypeScript
- GLSL shader coding for Phong, Gouraud shading model with Phong, Blinn-Phong lighting method
- Frame-rate-independent animations with customizable Bezier-curved timing functions
Jan 2020
simple-tcp, a course project for Computer Networking
- Build TCP-like reliable transport protocol on top of UDP using Python
- Optimize using delayed ACKs, packet aggregation, Nagle's algorithm and checksum
- Concurrent programmming with background worker threads and locks
Apr 2020
news-search, a real-time news article search engine
- Build RESTful APIs using Java Jersey and web crawler in Java
- Deploy server on AWS EC2 VPS and build indexes on ElasticSearch
- Build single-page application using React
Oct 2018-
Mar 2019
sizer, undergrad thesis project on analog circuit design automation and EDA tools
- Build tools in Python to analyze signals from SPICE simulator in real time (≈50 μs per signal)
- Compute optimal parameters for a 10-MOSFET amplifier under 5 min using Scipy
- Make it a lightweight framework to easily change circuit diagrams and define constraints
Mar 2018-
Apr 2019
Research on high thermal conductivity and high permittivity film
- Home-made code for finite-element simulation on temperature field using Scipy
- Animated 2D and 3D visualization of temperature field through time using Matplotlib
- Co-authored paper published doi: 10.1016/j.compscitech.2019.107934
Nov 2019
nu-hub, a course project for Database Systems
- SQL query, trigger, transaction and procedure coding
- ncurses-based retro-style terminal GUI written in Python

Skills

Proficient in C, C++, Rust, Python, SQL, TypeScript
Comfortable in Haskell, Java, Go, Lean
Proficient in debugging memory safety issues using Valgrind and performance-tuning using Flamegraph
Leetcode weekly contest enthusiast (top 3%)
Experience of Flask, React, Vue.js, Tokio
Proficient in Numpy, Scipy, Pandas, Matplotlib
Ability to maintain a decade-old legacy codebase
Conversational Japanese with JLPT N2
Business-level English with TOEFL 107

Yuchen SHI

Experiences

Education

Projects

Skills