Optimizing Big-Data Queries using Program Reasoning

成立时间：May 1, 2016

研究组

Systems | India

Systems work at MSR India covers a broad…

人员

Kaushik Rajan

Principal Researcher

Akash Lal

Partner Researcher

Aseem Rastogi

Senior Principal Researcher