Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
项目
Zeta: Towards Zero-Trust Applications
A client using a cloud service today trusts the cloud provider to implement and run the service correctly. A service typically depends on millions of lines of code, a multitude of engineers developing the software,…
组
Microsoft Research Special Projects
Note: This research has reached its conclusion, and this page is for historical reference and archival purposes only. The Microsoft Research Special Projects group operates on the boundary between engineering and research to drive breakthrough…