Meng Xu
Research Scientist at University of Waterloo
Canada
Summary
🤩
Rockstar🎓
Top SchoolMeng Xu is a research scientist and assistant professor-level contributor based in Canada with five years of hands-on experience specializing in backend systems and language tooling. He has deep expertise in the Move language and its bytecode verifier, contributing core infrastructure and prover improvements to prominent blockchain projects such as Aptos and Diem. Meng’s work spans implementing bytecodes, enhancing move-cli testing infrastructure, and modeling type reflection and data invariant instrumentation—skills that bridge formal language design and practical developer tooling. His contributions to high-profile open-source L1 blockchain repositories demonstrate an ability to improve both correctness and developer experience at scale. Colleagues can expect a pragmatic engineer who pairs rigorous verification thinking with production-focused engineering. An interesting detail: he combines academic research sensibilities with production contributions typically seen from industry language engineers, which helps translate formal models into robust tooling.
5 years of coding experience
Soochow University (CN)
Github Skills (16)
move10
lang10
verification10
rust10
movelang10
bytecode10
blockchain10
testing10
version-control9
smart-contracts9
git9
computer-engineering8
data-structure7
data-structures7
algorithm7
Programming languages (4)
Github contributions (5)
diem/diem
Sep 2020 - Nov 2021
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Role in this project:
Back-end Developer & Smart Contract Engineer
Back-end Developer & Smart Contract EngineerContributions:662 reviews, 420 commits, 199 PRs in 1 year 1 month
Contributions summary:Meng significantly contributed to the Diem blockchain project by implementing enhancements to the Move CLI, including the ability to run tests within specific directories. They also ported Move IR tests to source language tests, covering various modules like libra/offer, libra/wallet, libra/payment, libra/<misc>, libra/libra_account, and libra/block. Further contributions include adding functionality for showing coverage information during testing, improvements to code, along with general refactoring and cleanup of the core source code.
diemfinancialtrustedethereumblockchain
move-language/move
Sep 2022 - Jan 2023
Role in this project:Back-end Developer
Back-end DeveloperContributions:97 reviews, 33 commits, 111 PRs in 3 months
Contributions summary:Meng primarily focused on the Move language bytecode verifier and model, contributing to the core infrastructure of the Move language. They implemented improvements to the bytecode verifier, specifically addressing explicit listing in the acquires pass, and added new functions related to type reflection within the Move prover. Additionally, they worked on the data invariant instrumentation for map values and the deterministic ordering of worklist with recursive calls, improving the overall functionality of the Move prover. The user also contributed to the modeling of type name in stdlib, enhancing the system's capability in type reflection.
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.