Computer Science | Grinnell College

Thursday, September 8, 2016
4:15 p.m. in Noyce 3821
Refreshments at 4:00 p.m. in the Computer Science Commons (Noyce 3817)

Programming Assistance for Type-Directed Programming
Type-directed programming is a powerful programming paradigm where rich types dictate the structure of the program, making design largely automatic. While mechanical, this paradigm still requires manual reasoning that is both tedious and error-prone. In this talk, Assistant Professor of Computer Science Peter-Michael Osera will explore type-directed program synthesis techniques to build an interactive programming assistant for type-directed programming. This tool bridges the gaps between simple auto-completion engines and program synthesis, complementing the strengths of each. He’ll demonstrate a current prototype of the tool as well as discuss next steps for transforming the prototype into a usable programming assistant.