Login
Talks & Seminars
Title: Programming Languages and Tools Research @ Microsoft Research India
Dr. Sriram Rajamani and Dr. Aditya Nori, Microsoft Research India
Date & Time: September 13, 2013 11:00
Venue: Conference Room, 01st Floor, C Block, Department of Computer Science and Engineering, Kanwal Rekhi Building
Abstract:
We present an overview of Programming Languages and Tools (PLATO) Research at Microsoft Research India. The PLATO group (http://research.microsoft.com/plato) is interested in the following areas: 1) Verification and Testing: The focus of this research is to build tools and techniques to ensure that a program meets its specification. Our group has built tools like Yogi and Q which form the core engines of the Static Driver Verifier (SDV) toolkit. We are also working on application of machine learning techniques for efficient program verification. 2) Scalable Distributed Systems: Our objective is to rethink programming models, storage systems and tools with scalability as the primary goal. The CScale project explores new designs of distributed databases. With Cipherbase, we are designing databases and database abstractions with security as a first class citizen. Perforator is a tool for costing and optimizing queries running on distributed query engines such as HIVE and DryadLINQ. 3) Probabilistic Programming: We are thinking about how program analysis and verification techniques can be used to efficiently analyze machine learning models specified as probabilistic programs. We show connections that this area has with language design, static and dynamic analysis of programs. We will also spend time talking about specific projects in these three areas.
Speaker Profile:
Details about Dr. Sriram Rajamani are available at http://research.microsoft.com/en-us/press/rajamani.aspx while details about Dr. Aditya Nori are available at http://research.microsoft.com/en-us/people/adityan/.
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback