Current and Recent Courses
CS294: Program Synthesis for Everyone (co-taught with Emina Torlak)
An expansion of our invited CAV 2012 tutorial, this course teaches how to build a synthesizer in one semester. Includes constraints-based verification, encoding programs as formulas, DSL design and implementation, synthesis algorithms, and case studies.
Fall 2012
CS164: Hack Your Language!
An upper-level undergrad course on programming langauges with nine integrated weekly assignments that culminate in a browser with its own interpreter, layout engine and parser.
Spring 2012
About
- Contact Information
- Download CV
- Projects
- Students
- Papers
- Talks
- Current and Recent Courses
- Courseware
- Organizing
News
Course on program synthesis
9/2/2012Emina Torlak and I have given an invited tutorial at CAV 2012. The tutorial is being expanded this semester into a graduate course, which you can follow as we add lectures and homeworks. CAV tutorial slides: (ppt, pdf, screencast). The graduate course.
Postdoc position position in synthetic biology
8/13/2012We are looking for postdocs in synthetic biology. We need curious, well-rounded computer scientists with expertise in algorithms, hacking, and with interest in biology.
NSF Expedition in Computing for program synthesis
4/3/2012The multi-university ExCAPE project aims to change computer programming from the tedious task to one in which a programmer and an "automated program synthesis tool" collaborate to generate software that meets its specifications.
Looking for a postdoc position?
4/3/2012We are looking for postdocs in program synthesis and computer-aided programming.
2nd Dagstuhl Seminar in Program Synthesis
4/9/2012Several communities related to synthesis of programs and other computational artifacts will meet again in wine cellars of the castle.