Code Hunt Workshop - Day 2 Session 7

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


Duration: 54:00
42 views
0

1st Code Hunt Workshop Microsoft Research, Redmond, WA Conference Room 99/1919 February 9-10, 2015 Goals of the workshop - To expose the state of the platform and data of Code Hunt and its underlying software, Pex (also called Smart Unit Tests now), and - To collectively decide on development work that can be done by all of us in the near future. Some topics of discussion We are already working on or proposing some exciting developments for Code Hunt - Hint generation from cloud data and symbolic execution - Evaluation of Java -> C# and the new Python -> C# translator - Distributed computing access to the data with the Orleans platform - Retiring the existing open zone, replacing it with a brand new game, and making all that data available on demand - A social experience for adding puzzles, sharing them and liking them - Levels that build on each other, which will require objects in the game - A course experience for teachers Session 7 - Conclusion 16:00Wrap-up Discussion and Call to Action (60 mins) Panel: Judith Bishop (chair), Alex Orso, Nikolai Tillmann



Other Videos By Microsoft Research


2016-06-22IMS-Microsoft Research Workshop: Foundations of Data Science - Opening Remarks and Morning Session I
2016-06-22Proof Engineering, from the Four Colour to the Odd Order Theorem
2016-06-22Thinking for Programmers: Rising Above the Code
2016-06-22Optimal and Adaptive Online Learning
2016-06-22Tutorial: Introduction to Reinforcement Learning with Function Approximation
2016-06-22Towards Understandable Neural Networks for High Level AI Tasks - Part 5
2016-06-22IMS-Microsoft Research Workshop: Foundations of Data Science - False Discovery Rates - a new deal
2016-06-22Interactive Biotechnology: Cloud Labs, Biotic Games, DIY kits, and more
2016-06-22An Algorithm for Precision Medicine
2016-06-22Reverse Engineering Autonomous Language Acquisition
2016-06-22Code Hunt Workshop - Day 2 Session 7
2016-06-22NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering - Session 4
2016-06-22Tutorial: High-Performance Hardware for Machine Learning
2016-06-22Representation Power of Neural Networks
2016-06-22Synthetic Biology: New Tools for an Industry at an Inflection Point
2016-06-22Topological Data Analysis: potential applications to computer vision
2016-06-22Tutorial: Large-Scale Distributed Systems for Training Neural Networks
2016-06-22Tutorial: Deep Learning
2016-06-22Towards Understandable Neural Networks for High Level AI Tasks - Part 4
2016-06-22Oral Session: Attractor Network Dynamics Enable Preplay and Rapid Path Planning
2016-06-22Python+Machine Learning tutorial - Introduction


Tags:
microsoft research
program languages and software engineering