Optimizing Big-Data Queries using Program Reasoning

Established: May 1, 2016

Publications

Publications by Year

Publications by Research Area

Publications by Type

People

Portrait of Kaushik Rajan

Kaushik Rajan

Principal Researcher

Portrait of Akash Lal

Akash Lal

Senior Principal Researcher

Portrait of Aseem Rastogi

Aseem Rastogi

Principal Researcher