Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
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…
Video
Project Catapult Academic Tutorial: OpenCL
We will be presenting a series of online tutorial sessions to introduce and provide examples of the work that is possible in the Catapult Academic environment.
Publication