Programming languages and software engineering
Publication
Program Synthesis using Abstraction Refinement
Microsoft Research Blog
CodeTalk: Rethinking IDE accessibility
It is a bright afternoon in the Microsoft Research India lab. Research Fellow, Venkatesh Potluri, sits at his computer, frantically racing against the clock to fix one last bug before the end of the day.…
Video
Precision-Recall versus Accuracy and the Role of Large Data Sets
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…
Video
A Reduction Principle for Generalizing Bona Fide Risk Bounds in Multi-class Setting
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…
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…
