Programming languages and software engineering
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.…
Microsoft Research Blog
Microsoft Research and the industrial research cycle
By Thomas Ball, Research Manager, Research in Software Engineering (RiSE) group, Microsoft Research The industrial research cycle Here is what I have told new hires of Microsoft Research (MSR) since I became a manager some…
Video
Scalable Semantic Code Search for High-Quality Program Repair
Bugs in programs remain a pernicious problem. Research techniques in automated program improvement and repair are typically classified as either heuristic—searching over a set of syntactic changes, often drawn from an existing body of code—or…
Publication
Learn&Fuzz: Machine Learning for Input Fuzzing
Tool
Facet Key visual
Facet Key shows the most frequent entities of various types across an entire document collection. Selecting an entity of interest filters and highlights linked visuals in ways that enable document collections to be analyzed systematically,…