Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Traditional deep learning frameworks such as TensorFlow and PyTorch support training on a single deep neural network (DNN) model, which involves computing the weights iteratively for the DNN model. Designing a DNN model for a…
In this webinar, Microsoft Research Asia Senior Researcher Quanlu Zhang and Principal Program Manager Scarlett Li will analyze the challenges associated with retrofitting exploratory-training into the training process of a single DNN model within the…
Microsoft is proud to be a Silver sponsor at the 2021 conference on Programming Language Design and Implementation (PLDI).
Koka: a Functional Language with Effects Koka is a strongly typed functional-style language with effect types and handlers.
This project is focused on building tools and techniques to secure the software supply chain.
