Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
The Cloud Systems Reliability research group at Microsoft Research aims to develop practical tools and techniques that can help cloud developers adequately debug, test, monitor, and troubleshoot their systems. Our research combines Distributed Systems, PL,…
Resource Leak Checker (RLC#) for C# code using CodeQL—RLC# is a lightweight and modular resource leak checker for C# code. It is inspired by Checker Framework’s resource leak checker (RLC) for Java. RLC# is developed…
Microsoft is proud to be a sponsor of the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) (opens in new tab). The conference will be held in Seattle, Washington from September 4-9, 2023.…
