LampsonFest - Adam Kalai, Closing Remarks

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


Duration: 26:59
225 views
0

Adam Kalai - A Colorful Approach to Programming by Example



Other Videos By Microsoft Research


2016-06-21Local Temporal Reasoning
2016-06-21Software Defined Transport
2016-06-21Market-Oriented Cloud Computing and Big Data Applications
2016-06-21Modeling high-dimensional sequences with recurrent neural networks
2016-06-21In Systems We Trust
2016-06-213rd Pacific Northwest Regional NLP Workshop: Introduction & Long Talks
2016-06-21Programmer, Interrupted: Data, Brains, and Tools
2016-06-21Steps toward usable verification
2016-06-21Cloudlets for Mobile Computing
2016-06-21Science in the Cloud
2016-06-21LampsonFest - Adam Kalai, Closing Remarks
2016-06-21New Perspectives on Machine Learning and Science
2016-06-21Statistical Text Analysis for Social Science
2016-06-21Mechanism Design and Economic Inference
2016-06-21Rethinking Machine Learning In The 21st Century: From Optimization To Equilibration
2016-06-21Making Machine Learning Reproducible with CodaLab
2016-06-21Using ConvNets, MALIS and crowd-sourcing to map the retinal connectome
2016-06-21Scalable Recognition of Human Activities for Pervasive Applications in Natural Environments
2016-06-21Program Synthesis for the Masses
2016-06-21Symmetry-Based Learning
2016-06-21Torch


Tags:
microsoft research
program languages and software engineering