CodeHunt https://www.codehunt.com/a game about coding with grading built in

• Classic game experience• Maps to AP Computer

Science• Players discover a secret

algorithm and write code for it

• Awesome Monaco editor• Timely and interactive feedback• Student attempts validated by

Pex using MSR’s state-of-the-art dynamic symbolic analysis

• Pex4Fun had >1.4 million submitted programs so far• Code Hunt aims to exceed this figure with

gamification and Java source translation

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop. Teaching and learning programming and software engineering via interactive gaming. ICSE 2013, Software Engineering Education, pp. 1117-1126

Code Hunt: Gamifying Teaching and Learning of Computer Science at Scale

Nikolai Tillmann, Jonathan de Halleux, Judith Bishop (Microsoft Research) Tao Xie (U. Illinois at Urbana-Champaign)

1,458,885 clicked 'Ask Pex!'

Secret Implementation

class Secret { public static int Puzzle(int x) { if (x <= 0) return 1; return x * Puzzle(x-1); }}

Player Implementation

class Player { public static int Puzzle(int x) { return x; }}

class Test {public static void Driver(int x) { if (Secret.Puzzle(x) != Player.Puzzle(x)) throw new Exception(“Mismatch”); }}

behaviorSecret Impl == Player Implhttp://pex4fun.com/

Contact: {nikolait, jhalleux, jbishop}@microsoft.com, taoxie@illinois.edu