Programming languages and software engineering
Publication
Triemaps that match
Publication
Catala: A Programming Language for the Law
Video
Introducing Retiarii: A deep learning exploratory-training framework on NNI
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…
Webinar
Introducing Retiarii: A deep learning exploratory-training framework on NNI webinar
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…
Event
Microsoft at PLDI 2021
Microsoft is proud to be a Silver sponsor at the 2021 conference on Programming Language Design and Implementation (PLDI).
Tool
Koka
Koka: a Functional Language with Effects Koka is a strongly typed functional-style language with effect types and handlers.