Optimizing Big-Data Queries using Program Reasoning

成立: 2015年4月9日

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…