Yage Hu

Graduate Teaching Assistant

United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Yage Hu is an experienced software and systems engineer with 11 years of industry and research experience spanning embedded systems, backend services, and WebAssembly runtimes. He blends hands-on hardware knowledge from an Electrical/Computer Engineering background with production-grade software work in Rust, Go, C++, Kotlin, and Python, having shipped services at companies like Uber, Amazon, Meta, and contributed bug fixes to the prominent Wasmer WebAssembly project. In research roles he applied formal methods (TLA+) to specify and test WASI while building benchmarking and test suites, demonstrating a rare combination of formal specification skills and practical syscall/runtime debugging. Yage has repeatedly improved reliability and performance—e.g., migrating services for 30x speedups and hardening WASI fd/path semantics—and enjoys digging into low-level correctness as well as cloud and infra concerns. He is pursuing a PhD in Computer Science at UGA, bringing academic rigor to real-world systems engineering.
code11 years of coding experience
job7 years of employment as a software developer
bookBachelor’s Degree Electrical Engineering Computer Engineering, Bachelor’s Degree Electrical Engineering Computer Engineering at University of California, Davis
bookUniversity of Georgia
languagesEnglish, Chinese, Chinese
stackoverflow-logo

Stackoverflow

Stats
13reputation
707reached
2answers
1question
github-logo-circle

Github Skills (18)

filesystem10
wasi10
file-operations10
system-calls10
fileio10
blazor-webassembly10
webassembly10
rust10
testing9
error-handling9
wasmer8
linux8
system6
non-deterministic6
coq6

Programming languages (17)

JavaC++RustCCMakeScalaGoAlloy

Github contributions (5)

github-logo-circle
wasmerio/wasmer

Sep 2020 - Oct 2024

🚀 Fast, secure, lightweight containers based on WebAssembly
Role in this project:
userBack-end Developer
Contributions:3 reviews, 18 PRs, 25 comments in 4 years 2 months
Contributions summary:Yage primarily focused on fixing bugs and improving the WASM runtime's WASIX implementation. Their contributions include correcting issues related to file descriptor operations such as `fd_seek` and `fd_advise`, ensuring correct behavior and preventing underflows or security vulnerabilities. They also addressed several issues related to the `path_open` system call, including handling empty paths, trailing slashes, and directory write access. Furthermore, they improved the testing framework by fixing tests related to WASI compliance.
emscriptenwindowsrustwasmerjavascript
yagehu/regreddit

Mar 2020 - Apr 2020

Regreddit? Nuke it.
Contributions:44 commits, 2 PRs, 39 pushes in 10 days
nukereddit
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Yage Hu - Graduate Teaching Assistant