Programming languages and software engineering
Event
SIGCOMM 2023
Microsoft is proud to be a sponsor of the 37th ACM Special Interest Group on Data Communication (SIGCOMM 2023). The conference will feature an engaging program of workshops, tutorials, keynote speeches, paper presentations, posters, demos,…
Group
Cloud Systems Reliability – Redmond
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,…
Tool
Global Static Analysis With CodeQL
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…
Publication
FP$^2$: Fully in-Place Functional Programming
Event
ICFP 2023
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.…
Publication