How to write your next POPL paper in Dafny

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=7C-GitT4X6w


Duration: 59:22
1,023 views
13

Team Project Meeting



Other Videos By Microsoft Research


2016-07-26Patent Law's Perfect Storm
2016-07-26Multi-Party Computation: From Theory to Practice
2016-07-26Integrating Algorithmic and Behavioral Approaches to Crowdsourcing
2016-07-26Narrating with Networks: Making Sense of Event Log Data with Socio-Technical Trajectories
2016-07-26Algorithms and Perception for Interactive Free-Viewpoint Image-Based Navigation
2016-07-26Learning to Construct and Reason with a Large Knowledge Base of Extracted Information
2016-07-26Realtime Facial Animation
2016-07-26Learning Mixtures of Arbitrary Distributions over Large Discrete Domains
2016-07-26The Structural Theory of Pure Type Systems
2016-07-26Building Social Life Networks
2016-07-26How to write your next POPL paper in Dafny
2016-07-26Small Image Sensors and Big Visual Data
2016-07-26Why the Doorway is a Data Portal into Multi-Person Homes
2016-07-26Coordinating Software Development through Predictive Conflict Detection
2016-07-26Blur-Kernel Estimation from Spectral Irregularities
2016-07-26Quantum algorithms for Hamiltonian simulation
2016-07-26Understanding and Reducing the User Burdens in Applications for Health and Wellbeing
2016-07-26Evaluating Open Source Software
2016-07-26Decoupling Algorithms from the Organization of Computation for High-Performance Graphics & Imaging
2016-07-26Hands and pixels: from the "Minority Report" interface to a full-stack spatial computing platform
2016-07-26MSR Talk Series: Sums of squares � characterization and distribution


Tags:
microsoft research