Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Protecting huge amounts of data stored in the cloud from server crashes resulted in distributed storage systems transitioning to erasure coding based schemes. Local Reconstruction Codes (LRCs) have emerged as the codes of choice for…
Episode 7, January 10, 2018 – When we look at a skyscraper or a suspension bridge, a simple search engine box on a screen looks tiny by comparison. But Dr. Simon Peyton Jones would like…
Microsoft is a Gold sponsor of the 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) January 7–13, 2018 at the Omni Hotel in Los Angeles, CA.
Class of 2018-19 PhD fellows to push frontiers of AI By Sandy Blyth A graduate student working on technology that leverages human brain signals to accelerate robot learning and another student who is developing models…
In an era of AI breakthroughs and other exciting advances in computer science, Dr. Ben Zorn would like to remind us that behind every great technical revolution is… a programming language. As a Principal Researcher…
