Tierless Programming and Reasoning for Software-Defined Networks

Channel:
Microsoft Research
Subscribers:
343,000
Published on ● Video Link: https://www.youtube.com/watch?v=3tx2tKTGV1E


Duration: 49:42
88 views
1

Tierless Programming and Reasoning for Software-Defined Networks



Other Videos By Microsoft Research


2016-06-21Subset Selection Problems - Part 2
2016-06-21Bedrock: A Software Development Ecosystem Inside a Proof Assistant
2016-06-21Can you convince me why your software works?
2016-06-21Considering Tools for Artists, Creative Processes, and Design Ideation
2016-06-21Information-based approaches for Bayesian optimization.
2016-06-21A Case for using Trend Filtering over Splines
2016-06-21SAT-based Techniques for Optimization and Synthesis.
2016-06-21Advances in Quantum Algorithms & Devices: Position-based cryptography
2016-06-21Industry Embraces Open Source-What This Means for Academia
2016-06-21Declarative query processing in imperative managed runtimes
2016-06-21Tierless Programming and Reasoning for Software-Defined Networks
2016-06-21Truth in Advertising: The Hidden Cost of Mobile Ads
2016-06-21The Varied Forms of Verification with Z3
2016-06-21Code Hunt Workshop - Day 1 Session 1
2016-06-21Bonsai: Reactive Tools for Data Science
2016-06-21Program Synthesis from Refinement Types
2016-06-21Many-Core Compiler Fuzzing
2016-06-21Rebooting CS50
2016-06-21VISC: Virtual Instruction Set Computing
2016-06-21Micro-Policies: A Framework for Tag-Based Security Monitors
2016-06-21The Turing trap. How the universal computer is making the internet less secure.


Tags:
microsoft research
program languages and software engineering