Programming languages and software engineering
Microsoft Research Blog
FP2: Fully In-Place Functional Programming provides memory reuse for pure functional programs
This research paper was presented at the 28th ACM SIGPLAN International Conference on Functional Programming (opens in new tab) (ICFP), a premier forum for discussing design, implementations, principles, and uses of functional programming. Functional programming…
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,…
Dataset Source Code
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