Code Hunt Workshop – Day 1 Session 3


February 11, 2015


Daniel Perelman


University of Washington


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 3 – Data Mining I 14:30Contest Analytics (45 mins) What we can learn from the data collected and how we do itJudith Bishop 15:15Model Counting for Test Coverage in Code Hunt (45 mins)Willem Visser 16:00Break 16:30Hint generation in Code Hunt (45 mins)Daniel Perelman


Daniel Perelman

Daniel is a graduate student at the University of Washington, working with Dan Grossman.