Gary Guo
Senior Software Engineer at Imperial College London
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolGary Guo is a Senior Software Engineer and Cambridge-based PhD candidate with 11 years of systems and compiler experience, currently working across Red Hat and Imperial College projects. He contributes to high-profile open-source projects including rust-lang/rust and Clippy, focusing on lints, standard library robustness, and low-level features such as inline assembly and file-handle traits. His background blends hardware and software: from RISC-V support in gimli and Rust-in-Linux kernel work to benchmarking and testing low-level compiler intrinsics. That combination of kernel- and toolchain-level expertise lets him bridge compiler correctness, performance benchmarking, and secure FFI integration in real-world projects. Colleagues describe him as a pragmatic engineer who pairs deep language/runtime knowledge with careful test-driven improvements to critical infrastructure.
11 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of CambridgeHigh School, High School at Ningbo Foreign Language School
Chinese, English, Japanese
Github Skills (27)
algorithm10
algorithms10
benchmark10
dwarf10
testing10
memory-management10
risc-v10
benchmarking10
c1110
linux-kernel10
cffi10
data-structure10
c1710
code-analysis10
lang10
Programming languages (22)
Github contributions (5)
rust-lang/rust
May 2020 - Dec 2022
Empowering everyone to build reliable and efficient software.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:221 reviews, 217 commits, 108 PRs in 2 years 8 months
Contributions summary:Gary primarily focused on enhancing the Rust standard library, contributing to core functionalities. Their work involved implementing and modifying traits related to file descriptors and handles, specifically making these implementations more versatile. They also addressed security concerns by preventing the use of `extern "C-unwind"` within the standard library, improving the library's robustness. Further contributions include extending the support for inline assembly, demonstrating a strong understanding of low-level system interactions.
crategarbage-collectionrustreliablecompiler
rust-lang/compiler-builtins
Feb 2021 - Aug 2021
Porting `compiler-rt` intrinsics to Rust
Role in this project:QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:8 reviews, 5 commits, 1 PR in 6 months
Contributions summary:Gary focused on adding comprehensive test cases and benchmarks to the `compiler-builtins` repository, specifically targeting memory manipulation functions such as `memcpy`, `memmove`, and `memset`. The contributions included tests to assess different alignment scenarios, ensuring the correctness of these low-level functions. Furthermore, the user added benchmarks for performance comparison between builtin and rust implementations of these core memory operations.
rustintrinsicscompilercompiler-rtporting
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.