Systems | India

Our systems work is interdisciplinary, drawing across colleagues with expertise in programming languages, networking, distributed systems, cryptography, privacy and security. We break silos and innovate across various layers in the systems stack spanning hardware, networks, storage, and compute.

Our research projects include:

• Co-designing storage and compute layers for big data systems, as well as scheduling, compilation and run-time layers for DNN jobs to improve end-to-end efficiency.
• Building query optimizers that are able to handle modern query languages that incorporate not only SQL-like relational operators, but also user-defined logic expressed in full-featured programming languages.
• Developing formal verification and design methods to build correct software, and applying these ideas to improve the robustness and security for large scale concurrent and distributed real-world systems.
• Working at the intersection of cryptography and systems, to design new ways for secure data exchange and collaboration, and new block-chain systems at unprecedented scale and performance.
• Tracking data lineage and provenance at scale to help ensure data privacy.

We harness the power of machine learning to use data driven techniques to better optimize not only the systems themselves, reduce costs and improve performance, but to also make significant improvements to engineering processes used to build such systems.

Some current projects