Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Project
Optimizing Big-Data Queries using Program Reasoning
This project is at the intersection of programming languages and database systems. The goal of the project is to use programming languages techniques to analyze and optimize big-data queries. We show how program synthesis can be…
Event
Microsoft @ SC17
We are excited to be a part of The International Conference for High Performance Computing, Networking, Storage and Analysis 2017 (SC17), a conference dedicated to showcasing work by the international high-performance computing (HPC) community. Microsoft…