Programming languages and software engineering
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,…
Video
Dr. TLA+ Series – Byzantine Paxos
In this lecture we will discuss how to tolerate Byzantine faults in achieving consensus. We illustrate through refining Paxos step by step. This should be most fun to those who have become familiar with Paxos-based…
Tool
CCI (Common Compiler Infrastructure)
CCI provides a rich infrastructure for working with .NET Assemblies: generating them from source, or rewriting them.