Optimizing Big-Data Queries using Program Reasoning

Systems work at MSR India covers a broad spectrum of areas ranging from program verification, programming languages and tools, distributed systems, networking and security. We are interested in both building real world systems and studying the principles behind how to…