•Developer on Aurora storage team in charge of optimizing storage node performance within Aurora infrastructure
•Worked on new model-based testing framework to be used to test Aurora functionality and performance under load
•Model-based testing framework was designed to massively improve test coverage as new test cases could be generated on the fly by randomly transitioning between states (with database states as vertices and database operations as edges)
•Focused on testing storage node peer-to-peer replication to ensure data durability for MySQL and PostgreSQL workloads
•Integrated model based tests with the existing Aurora development pipeline, increasing test coverage and speed
