Verifying Query Optimizations in Big Data Systems as a Cloud Service
This project will build a cloud service for a SQL solver that verifies query optimizations in big data systems (SparkSQL, Myria, SQL Server etc). This is a “full stack” project, which will involve building a syntax highlighter for a domain specific language (DSL), developing a front end web interface, building a backend using a SQL solver currently under development, and data visualization.
You will gain experience on developing cloud service using the state of art technology (React, Docker, AWS etc) as well as perspectives on cutting edge computer science research on data management and programming languages.
Project background: http://cosette.cs.washington.e
Minimum Requirement:
1. Enjoy hacking and programming
2. Knowledge on web front end development (React, NodeJS, JQuery etc) or willingness to learn
3. Experience on programming (Java, C++ etc), knowing functional programming language is a plus.
4. Knowledge on Database Systems (SQL, relational data model, etc) or willingness to learn
If interested please send an email with your unofficial transcript to Alvin Cheung akcheung@cs.washington.edu.