Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Publication
Reasoning About Nonatomic Operations
Publication
Homogeneous Optimal Fleet
Publication
Automata, Trees, and Games
Publication
The Inference Problem for Template Dependencies
Publication