Programming languages and software engineering
Video
Active Positive Semidefinite Matrix Completion With Applications to Large Scale Bandit Problems
Extreme classification is a rapidly growing research area focusing on multi-class and multi-label problems involving an extremely large number of labels. Many applications have been found in diverse areas ranging from language modeling to document…
Podcast
New Microsoft Research Podcast invites you to log on, tune in and geek out
Microsoft Research Podcast Subscribe and listen on iTunes, android or email I’ve spent the better part of the last decade investigating the impact of digital media and technology on culture from an academic perspective. I…
Publication
Monadic Refinements for Relational Cost Analysis
Publication
Semantics-aware Program Sampling
Publication
Implementing Algebraic Effects in C
Project
Optimizing Big-Data Queries using Program Reasoning
This project is at the intersection of programming languages and database systems. The goal of the project is to use programming languages techniques to analyze and optimize big-data queries. We show how program synthesis can be…