KeynoteSpeakers

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 "Dark Knowledge and Graph Grammars in Automated Software Design" 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 keynote is titled Dark Knowledge and Graph Grammars in Automated Software Design.