Rastislav Bodik Associate Professor Computer Science Division University of California, Berkeley contact info, office hours, facebook

Papers Students Recent talks Online demos Software Older Research Projects CV

Synthesis of Programs, via constraint solving and by example

• Project overview
• Try the Sketch synthesizer online.

Mobile Web Browsers, client programming, browser languages, and their parallel implementations

• Why and how browsers will be parallel (HotPar 2009)
• Animated demo of our Mud language for declarative document and chart layout. We synthesize from these declarations a parallel layout engine, although for this demo we generate only a (slow) JavaScript engine.

Teaching and Courseware

• Hack Your Language!: An undegraduate course on programming languages. The students will build a small web browser with scripting, learning in the process how to design and implement small languages.
• CS164 Spring 2012: Hack Your Language! is being taught this semester

Events co-organized recently

• 2011 Summer School on Program Synthesis. Aug 8-12, 2011, Dagstuhl, Germany.
• 2011 ASPLOS Ideas and Perspectives. March 7, 2011, Newport Beach, CA.
• 2011 Berkeley PL Retreat. May 11-13, 2011, Santa Cruz, CA