Speaker: Rastislav Bodik
Professor of Computer Science & Engineering
University of Washington
Title: Program Synthesis
Program synthesis is the contemporary answer to automatic programming. Recognizing that programming is about gainingproblem understanding, synthesis shifts focus from automation to intelligently assisting the programmer. Non-programmers benefit, too, because programs can model hardware, end-user intentions, educational exercises, and biological mechanisms, all within reach of synthesis. Synthesis is pragmatic about algorithmics of code generation. It searches a universe of candidates for a correct program, sidestepping the elusive domain theories needed for top-down program derivation. I will show examples of programmer interaction, explain how to scale algorithms to large systems, and outline problems in adopting synthesis outside computer science. I will conclude by inviting you to share your thoughts on what advances will lead us to a future in which computational thinking *is* programming.
Rastislav Bodik is a Professor of Computer Science and Engineering at the University of Washington. He holds a Dipl.-Ing. degree in Computer Engineering from Technical University in Kosice, Slovakia (1992), and a PhD degree in Computer Science from the University of Pittsburgh (1999). He was a Professor at UC Berkeley until 2015 and Assistant Professor at the University of Wisconsin-Madison from 2000-2002. His recent work has focused on developing methods for algorithmic program synthesis by combining principles of programming languages, compilers, human-computer interaction, and formal methods. His group developed Sketch, the first algorithmic synthesizerfor imperative programs and applied synthesis to parallel document layout engines, ultra-low-power computer architectures, and executable biology. His previous work included static and dynamic program analysis, hardware support for program analysis, and dynamic compilation.
Find more information on the department's Distinguished Lecture Series or contact the department by e-mail .
This lecture is open to the public. Space is limited and there is no registration; coming early is strongly recommended.