Programming languages and software engineering
Project
Cloud System and Software Analytics
In Microsoft, we build and operate several world leading complex and large-scale productivity clouds (Azure, Microsoft 365). The quality of cloud platforms, including reliability, performance, efficiency, security, sustainability, etc., has become immensely important. The distributed…
Project
Jacdac: Connect and code electronics. Instantly.
Connect and code electronics. Instantly. The Jacdac project is now hosted at (opens in new tab)https://github.com/jacdac (opens in new tab) and maintained by Lancaster University. Jacdac (opens in new tab) is an open source hardware/software platform…
Event
PLDI 2022
Microsoft Research is proud to be a sponsor of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022) (opens in new tab). PLDI is the premier forum in the field of…
Project
NBLyzer: A static analysis framework for data science notebooks
A static analysis framework for data science notebooks Notebooks provide an interactive environment for programmers to develop code, analyse data and inject interleaved visualisations in a single environment. Despite their flexibility, a major pitfall that…
Publication
LOGIC: Log Intelligence in Cloud
Publication