Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
视频
Programming models for estimates and approximations
Learn about challenges associated with modeling uncertainty in computational systems and how programming models are being used to improve systems, such as GPS. Kathryn McKinley, a principal researcher at Microsoft Research, and Todd Mytkowicz a…
微软研究院博客
Microsoft researcher Don Syme honored with Silver Medal from Royal Academy of Engineering
Posted by George Thomas Jr. Many programmers recognize Don Syme’s name, but even more are influenced daily by his research and development. After all, Syme, a principal researcher in Microsoft’s Cambridge, U.K., lab, has helped…