Xiangyu Guo
Student Researcher at Arizona State University
Tempe, Arizona, United States
Summary
👤
Senior🎓
Top SchoolXiangyu Guo is a software engineer and Ph.D. researcher with over a decade of production-grade and research experience, blending systems programming, high-performance data structures, and programming-language theory. He created stableKanren — a declarative relational language and extended unification/resolution algorithms that resolve decades-old problems in logic programming — and implemented it in Scheme with innovations like NExT and CaVE enabling incremental solving. In industry internships at Google and Meta/Facebook he delivered measurable performance wins (up to 650% in microbenchmarks, 20%–650% prototype gains) and built scalable tooling such as a parallel declarative graph API and a 1M-dependency pseudo-code synthesis pipeline. Early work at Sangfor produced high-throughput C systems, a WeChat-based captive portal that generated ¥20M sales, and major logging and indexing optimizations. Comfortable across low-level C, C++ and high-level functional/logic paradigms, he pairs rigorous academic insight with pragmatic engineering and a track record of turning hard research ideas into production-ready prototypes. Based in Tempe, AZ, he is now seeking software engineering roles where his research on logic programming can impact real-world products.
10 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, 3.94 out of 4.0, Doctor of Philosophy - PhD, Computer Science, 3.94 out of 4.0 at Ira A. Fulton Schools of Engineering at Arizona State UniversityBachelor of Engineering (BEng), Computer Systems Networking and Telecommunications, 86.97 out of 100, Bachelor of Engineering (BEng), Computer Systems Networking and Telecommunications, 86.97 out of 100 at Nanhua University (CN)
English, Japanese, French, Chinese, foochownese
Stackoverflow
161reputation
9kreached
0answers
7questions
Github Skills (12)
unit-testing10
hacking10
hhvm10
php9
python8
debugging6
caching6
cuda6
eclipse6
nsight6
sfinae6
remote-debugging6
Programming languages (7)
Github contributions (5)
facebook/hhvm
May 2021 - Oct 2021
A virtual machine for executing programs written in Hack.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:14 reviews, 41 commits, 2 PRs in 5 months
Contributions summary:Xiangyu primarily worked on developing unit tests for the HHVM virtual machine dependency graph tool. Their contributions focused on testing virtual classes, traits, interfaces, and function calls returning customized types within the Hack language. They also added unit tests for method overriding. Furthermore, the user developed a framework and a function to convert the output from `hh_single_type_check --dump-deps` into logic rules for code synthesis.
hacklangphpvirtual-machineprogramshhvm
tobielf/SICP
Aug 2016 - Oct 2020
The practice and example code in SICP
Contributions:18 PRs, 157 pushes, 12 branches in 4 years 2 months
sicp
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.