Type-directed Program Synthesis

Synopsis

Program synthesis is the process by which we derive programs automatically from specification. Traditionally a pursuit of the formal methods community, program synthesis has strong ties with type-directed programming, type checking, and type inference. We are building type-theoretic foundations for program synthesis as well as exploring the application of these techniques to richly-typed functional programming languages.

People

Publications

Acknowledgements

This work is supported in part by the NSF under awards CCF-1138996 and CNS-1111520.