Sunnyvale, CA (virtual due to COVID-19)
• Worked under Spanner EngProd team to adopt Jepsen, an open-sourced testing framework, onto Cloud Spanner by generating random workloads against a Spanner instance, recording the results and verifying the history of Spanner interactions
• Designed a modularized structure that allows extensibility for new consistency benchmarks and customized workloads by decoupling generator types from workload types and history recording from history verification
• Implemented bank and multi-register benchmarks based on the framework that can expose external consistency violations
• Utilized the interpolation between Clojure and Java to adopt an open source history verifier, Knossos, to the framework
• Implemented an optimized version of Wing-Gong Linearization Algorithm using Java to achieve better maintainability
• Developed an interface that packages the framework into a Docker image and deploys it to scalable Kubernetes engines