Code Hunt Workshop – Day 2 Session 7
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
Speaker Details
Judith Bishop is director of computer science at Microsoft Research, where she works to create strong links between Microsoft’s research groups and universities worldwide. Her expertise is in programming languages and distributed systems, with a strong practical bias and an interest in compilers and design patterns. She initiated the Software Engineering Innovation Foundation (SEIF) and is currently working on a new way of running programs in browsers (especially F#) and on promoting programming on mobile phones with TouchDevelop. Judith has authored more than 95 publications, including 15 books on programming languages that are available in six languages. She serves frequently on international editorial, program, and award committees, and has received numerous awards and distinctions, including the IFIP Outstanding Service Award in 2009 and the IFIP Silver Core Award 2006 for service to the worldwide computer science community. She is a fellow of the British Computer Society, the Royal Society of South Africa, and many other prestigious bodies. Judith received her PhD from the University of Southampton.
Nikolai started the TouchDevelop project, which enables end-users to write programs on mobile devices. This project brings the excitement of the first programmable computers to mobile devices such as smartphones. He is leading the Pex project, an automatic test case generator for .NET applications. Try out Pex on the web: www.pexforfun.com He is also involved in the Spur project, a tracing Just-In-Time compiler for .NET and JavaScript code. Previously he worked on AsmL, and later on the model-based testing tool Spec Explorer.
- Date:
- Speakers:
- Alex Orso, Judith Bishop, and Nikolai Tillmann
- Affiliation:
- Georgia Tech, Microsoft Research
-
-
Judith Bishop
Director of Computer Science
-
Jeff Running
-
Nikolai Tillmann
Principal Software Engineer Manager
-
