Programming languages and software engineering
Video
Automating and Testing Program Transformations using Program Synthesis
Automatic program transformation tools can be valuable for programmers to help them with refactoring tasks, and for Computer Science students in the form of tutoring systems that suggest repairs to programming assignments. However, manually implementing…
Video
Seeing Experience from Many Angles: Educational Game Design as a Data-Informed Craft
Increasingly, educational games have become an established part of the instructional landscape, however designing a compelling and effective instructional game remains a challenge. One of the reasons for this challenge is that game players are…
Publication
Neuro-Symbolic Program Synthesis
Microsoft Research Blog
Deep Learning for Program Synthesis
By Rishabh Singh, Jacob Devlin, Abdelrahman Mohamed, and Pushmeet Kohli, Microsoft Research Despite the many advances in computing over the past decades, the actual process of writing computer software has not fundamentally changed — a programmer must manually…
