Joint GPCE/SLE Keynote "Solver-Aided Languages" by Ras Bodik (UC Berkeley)

Ras is a professor of computer scientist at UC Berkeley. He works on various flavors of program synthesis, from programming by demonstration, to sketching, design of programmer-accessible oracles, and compilers for declarative languages and will give a keynote on software synthesis entitled Solver-Aided Languages.

Joint SLE/GPCE Keynote by Don Batory (University of Austin at Texas)

Don is a professor of computer science at the University of Texas at Austin, working on product-line architectures and automated software development to improved programmer productivity, product quality, reduced maintenance cost, and enhanced application performance. The title of the keynote will be announced soon.