
Lawrence Lu
A serial entrepreneur with multiple successful exits, I have more than 25 years of experience building companies and leading technical teams across AI, IoT, networking, programming languages, compilers, and cybersecurity. I founded Array Networks, which later went public in Taiwan and China, and 629 Networks, which was acquired by Proofpoint. Throughout my career, I have also held executive leadership roles at several technology startups, including Array Networks, NebuAd, and Vidder.
From C to Rust with AI: Generation Is Easy, Verification Is Hard
AI Coding Summit NYC
Upcoming
From C to Rust with AI: Generation Is Easy, Verification Is Hard

Rust is a high-performance programming language that is memory-safe without garbage collection. The migration to Rust is gaining traction across projects and organizations.
- Bun migrated 535,000 lines from Zig to Rust.
- Turso for SQLite.
- Pgrust for PostgreSQL.
- Cloudflare replaced critical NGINX/Lua infrastructure software.
- Android, Dropbox, Microsoft, and others are adopting Rust for performance, reliability, and memory safety.
Government agencies in the US and Europe are urging software developers to move away from C/C++ due to memory-safety concerns. Until recently, rewriting large production software was risky and time-consuming, and most projects were abandoned. Coding agents can now rewrite large codebases in a few weeks. But the source code is only the beginning. I’ll take you inside our real-world migrations of TinyCC, HAProxy, Memcached, Redis, and the Cano editor, from C to Rust.
In addition to working source code, you'll leave with knowledge of how the new software needs to be tested, documented, verified, benchmarked, debugged, and made upgradable.
- Bun migrated 535,000 lines from Zig to Rust.
- Turso for SQLite.
- Pgrust for PostgreSQL.
- Cloudflare replaced critical NGINX/Lua infrastructure software.
- Android, Dropbox, Microsoft, and others are adopting Rust for performance, reliability, and memory safety.
Government agencies in the US and Europe are urging software developers to move away from C/C++ due to memory-safety concerns. Until recently, rewriting large production software was risky and time-consuming, and most projects were abandoned. Coding agents can now rewrite large codebases in a few weeks. But the source code is only the beginning. I’ll take you inside our real-world migrations of TinyCC, HAProxy, Memcached, Redis, and the Cano editor, from C to Rust.
In addition to working source code, you'll leave with knowledge of how the new software needs to be tested, documented, verified, benchmarked, debugged, and made upgradable.