Guanming Qiao

Automating smart contract auditing with GenAI

• Closely collaborate with Operations and Engineering teams to overhaul Bybit’s crypto campaign management system (CMS), driving user acquisition and retention through campaigns. • Push two company-level campaigns online (World Cup 2022 and Bybit 4th Anniversary) from strategy design to implementation, driving new sign-up users, new deposit and trading volume.

• Growth Product Manager at Tencent Little World, a multi-million Daily Active User (DAU) short video app that leverages decentralized recommendation system to build interest-based UGC communities. • Responsible for customer and content creator growth strategies. Consumer activation strategies successfully boosted consumer churn return rate by 20%, while traffic boosting strategies and recommendation optimization for key content creators increased publish rate by 1.1%, and publish retention by 3.1%. • About Tencent: Tencent is one of the largest tech companies in Asia, and is one of the highest grossing multimedia companies in the world based on revenue.

- Site Reliability Engineer / Software Engineer on Infrastructure Platform team, focusing on GrubHub's micro-services architecture’s AWS integration. - Contribute to improving GrubHub’s micro-services architecture by building high-impact services. Collaborate closely with other developers to enhance GrubHub’s CI/CD Tooling based on Jenkins and Spinnaker. - Enhance the visibility and maintainability of GrubHub’s cloud resources by building an internal AWS infrastructure-as-code library using Pulumi, a third-party tool.

- Conducted part-time research at Columbia University, on Program Analysis projects funded by the National Science Foundation. - Built automated test generation and compilation logic for SABER, a program analysis tool that identifies behavioral clones in code repositories. - Co-wrote and published a technical report on the research findings.

- Enhanced two internal Java Spring-based tools/frameworks that drive 80% of API tests for Aladdin, BlackRock’s core platform supporting about $15 trillion in asset. - Developed Selenium Webdriver-embedded proxy monitors that enable developers to capture and analyze HTTP traffic synchronously within the scope of automated integration tests.

Admitted to the Software Practices Lab, advisor Dr. Caroline Lemieux. Master’s Essay Track. Program Analysis and Vulnerability Detection.