Programming languages and software engineering
Video
Microsoft Rocket: Hybrid Edge + Cloud Video Analytics Platform
Today, video cameras are being used at a large scale by public and private enterprises for a variety of reasons—from security surveillance and traffic planning to consumer support in retail and hospitality settings. Thanks to…
Webinar
Microsoft Rocket: Hybrid Edge + Cloud Video Analytics Platform Webinar
Project Rocket, an extensible software stack that leverages the edge and cloud, is designed with maximum functionality in mind, capable of meeting the needs of varying video analytic applications. In this webinar, Microsoft researchers Ganesh…
Publication
OASIS: ILP-Guided Synthesis of Loop Invariants
Podcast
Program synthesis and the art of programming by intent with Dr. Sumit Gulwani
Dr. Sumit Gulwani is a programmer’s programmer. Literally. A Partner Research Manager in the Program Synthesis, or PROSE, group at Microsoft Research, Dr. Gulwani is a leading researcher in program synthesis and the inventor of…
Video
Specification and Verification of Multi-Paxos
A critical problem in distributed systems is distributed consensus—a set of servers aiming to agree on a single value or a continuing sequence of values, called single-value consensus or multi-value consensus, respectively. It is essential…
