Programming languages and software engineering
Video
Flash Fill and FlashExtract
99% of computer users do not know programming and struggle with repetitive tasks. Programming by Examples (PBE) can revolutionize this landscape by allowing end users to create small scripts from input-output examples. A killer application…
Event
CGO 2017 and Microsoft Research
Microsoft Research is excited to be part of the ACM/IEEE International Symposium on Code Generation Optimization (CGO) Austin, TX, on February 4-8, 2017. This event is also co-located with PPoPP, HPCA17, and CC.
Event
HPCA-17 and Microsoft Research
Microsoft Research is a Silver sponsor of the 23rd IEEE Symposium on High Performance Computer Architecture (HPCA) at the Austin Hilton in Austin, TX, February 4-8, 2017.
Project
Program Synthesis
Introduction Program synthesis is the task of automatically discovering an executable piece of code given user intent expressed using various forms of constraints such as input-output examples, demonstrations, natural language, etc. Program synthesis has direct…
Project
Random Interpretation (Random Testing + Abstract Interpretation)
Randomized Algorithms for Formal Verification Powerpoint Slides on Random Interpretation Introduction A sound and complete program analysis is provably hard. We typically pay a price for the hardness of program analysis in terms of having…
Project
Logical Abstract Interpretation
Abstract Interpretation over Logical Formulas Powerpoint Slides on Logical Abstract Interpretation (Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore) Introduction Logical Abstract Interpretation means performing abstract interpretation over abstract…
Microsoft Research Blog
Microsoft Research PhD fellowships provide financial support to promising researchers
By Jim Pinkelman, Senior Director, Microsoft Research Since 2008, Microsoft Research has been awarding two-year PhD fellowships to computer science and related researchers at leading universities in the United States and Canada. These awards are…
Project
FlashExtract
(Programming-by-example APIs for extracting structured data from text/log files by examples) The FlashExtract technology (published as a PLDI 2014 paper [pdf |ppt slides |Video |Video 2]) ships as features in Powershell and Azure OMS (Operations…
Project
Flash Fill (Excel feature in Office 2013)
Our programming by example work (POPL 2011), also recognized as CACM Research Highlights (CACM 2012), ships as part of the Flash Fill feature in Excel in Office 2013. Here’s a small video illustrating this feature.…