Jiasen Xu
Senior Software Engineer at Uber
Vancouver, British Columbia, Canada
Summary
🤩
Rockstar🎓
Top SchoolJiasen Xu is a senior software engineer with a decade of experience building large-scale, production-grade systems across tech leaders like Uber, Coinbase, AWS, and Microsoft. He has driven platform initiatives from data lineage and realtime/semantic search at Uber to managed wallets and staking at Coinbase, blending backend systems engineering with distributed data expertise. At AWS he led integrations for Step Functions, and his open-source contributions to the widely used Checker Framework show a deep interest in type systems and correctness, including enhancements for @IntRange and bitwise analysis. Based in Vancouver with engineering roots from University of Waterloo and USTC, he pairs rigorous academic training with practical, production-focused execution and a knack for improving developer-facing correctness tools.
10 years of coding experience
8 years of employment as a software developer
Bachelor of Engineering, Bachelor of Engineering at University of Science and Technology of ChinaShenzhen Middle SchoolMaster of Engineering, Master of Engineering at University of Waterloo
English, Chinese, Chinese
Stackoverflow
301reputation
22kreached
2answers
2questions
Github Skills (19)
typesc10
annotations10
typescript10
verification10
java10
annotation-processing10
javas10
type-system10
bitwise9
bit9
minitest6
activerecord6
street-address6
integration-testing6
ruby-on-rails6
Programming languages (6)
Github contributions (5)
typetools/checker-framework
Nov 2016 - Nov 2017
Pluggable type-checking for Java
Role in this project:
Back-end Developer
Back-end DeveloperContributions:7 commits, 10 PRs, 1 push in 11 months
Contributions summary:Jiasen primarily contributed to the Checker Framework by addressing code-related issues and implementing new features. They fixed typos, integrated the `@IntRange` annotation, and implemented refinements to the range analysis within bitwise operations and unsigned shift right operations. Their work focused on modifying and extending the existing type-checking logic, and making sure the framework could handle new annotations and operations.
checkingverificationtype-checkingpluggablejava
JasonMrX/checker-framework
Oct 2016 - Nov 2017
Contributions:109 pushes, 7 branches, 3 comments in 1 year 1 month
javacheckingpluggabletype-checking
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.