Selected Publications
Compiler Validation via Equivalence Modulo Inputs
PLDI 2014 · with Vu Le and Zhendong Su Distinguished Paper
PLDI 2014 · with Vu Le and Zhendong Su Distinguished Paper
Uncovered 1,000+ bugs in GCC and LLVM, most confirmed and fixed by compiler developers.
Liberating the Programmer with Prorogued Programming
Onward! 2012 · with Earl Barr and Zhendong Su
Onward! 2012 · with Earl Barr and Zhendong Su
Building White-Box Abstractions by Program Refinement
Onward! 2016 · with Zhendong Su
Onward! 2016 · with Zhendong Su
Selected Talks
gRPC Conf 2025 — Building Production-Ready LLM Integrations With MCP Over gRPC
gRPC Conf 2024 — Fortifying gRPC Microservices: Beyond JWT with mTLS and SPIFFE
gRPC Conf 2019 — Courier: Dropbox’s gRPC-Based Framework for Microservices
Open Source
Core contributor to grpc/grpc. Authored the interceptor architecture for gRPC Python and gRPC C#.