Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Nonlinear Revision Control for Images
Publication
An Empirical Study of Optimizations in Yogi
Microsoft Research Blog
Trying to Cure PC Insomnia
By Janie Chang, Writer, Microsoft Research Everyone understands the energy-saving benefits of shutting down PCs or leaving them on standby before leaving the office. The U.S. Environmental Protection Agency estimates that companies can achieve cost…
Microsoft Research Blog
F#: Putting the ‘Fun’ into ‘Functional’
By Rob Knies, Managing Editor, Microsoft Research You would be forgiven if you thought the “F” in F#—which made its debut as part of Visual Studio 2010 on April 12—stands for “functional.” After all, F#—pronounced…
Publication