Recent Presentations
Synthesizing Programs with Constraint Solvers
invited tutorial (with Emina Torlak) at CAV 2012, Berkeley, CA,
July 09, 2012. slides (ppt) slides (pdf) video/screencast
Synthesis for Systems Biology
invited talk at SYNT 2012: The First Workshop on Synthesis (at CAV 2012), Berkeley, CA,
July 07, 2012. slides (ppt) slides (pdf)
Parallel Client Programmable by Everyone
workshop presentation at Computer Systems Design for the 21st Century (ASPLOS 2011 PC Workshop), Rochester, NY,
October 21, 2011. slides (pdf)
Algorithmic Program Synthesis
seminar at Microsoft Research, Cambridge, UK,
September 15, 2011.
Automatic Programming Revisited, Part I: Puzzles and Oracles
invited talk at ARTIST Summer School Europe 2011, Aix-les-Bains, France,
September 04, 2011. slides (ppt)
~, Part II: Synthesizer Algorithms
invited talk at ARTIST Summer School Europe 2011, Aix-les-Bains, France,
September 04, 2011. slides (ppt)
Sketching: Partial Programs, Inductive Synthesis and Constraint Solvers
invited talk at 4th International Workshop on Approaches and Applications of Inductive Programming, Odense, Denmark,
July 19, 2011.
Hack Your Language!
invited panel presentation at Teaching Programming Language Design and Implementation ... What? to Whom? How? (PLDI 2011 panel), San Jose, CA,
June 08, 2011. slides (pdf)
Parallel Programming with Inductive Synthesis
workshop presentation at 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar), Berkeley, CA,
May 27, 2011.
Ideas for Applying Synthesis to High-Performance Computing
invited talk at DARPA ISAT Workshop, Chicago, IL,
May 24, 2011.
Automatic Programming Revisited
invited talk at Triangle Computer Science Distinguished Lecturer Series, NCSU,
March 28, 2011. video/screencast
Algorithmic Program Synthesis with Partial Programs
invited talk at CIS Colloquium 2009, University of Pennsylvania, PA,
October 01, 2009.
Synthesizing Programs from Programmer Insight
invited talk at Future of Design of Software Development (NPUC 2009), Almaden, CA,
July 09, 2009. slides (ppt) video/screencast
Algorithmic Program Synthesis with Partial Programs and Decision Procedures
invited talk at The 16th International Static Analysis Symposium (SAS 2009), Los Angeles, CA,
August 09, 2009.
Algorithmic Program Synthesis
invited lectures at Oregon Summer School in Programming Languages, Eugene, OR,
July 23, 2009.
Program Synthesis by Sketching
invited talk at 7th meeting of IFIP Working Group 2.11, NASA Ames,
April 15, 2009.
Program Synthesis by Sketching
invited lecture at Computer Science Lecture Series, Rice University,
October 27, 2008.
Exploiting Parallelism in the Web Browser
invited talk at Browser Performance Workshop, Santa Clara, CA,
August 01, 2008.
Recent Results in Sketching Synthesis
seminar at IBM Watson PL Seminar, Hawthorne, NY,
August 01, 2008.
Sketching Concurrent Data Structures
invited talk at UW/MSR Workshop on The Concurrency Challenge, Blaine, WA,
August 01, 2008.
Browsing Web 3.0 on 3.0 Watts: Why Browsers Will Be Parallel and Im- plications for Education
invited talk at The 3rd Workshop on Software Tools for MultiCore Systems (STMCS08), Boston, MA,
April 01, 2008. slides (ppt)
Program Synthesis by Sketching
plenary talk at The 4th Annual Thomas J. Watson P=ac2 Conference, Yorktown Heights, NY,
April 01, 2008. slides (ppt)
Why Do We Still Have Bugs?
panel presentation at The 4th Annual Thomas J. Watson P=ac2 Conference, Yorktown Heights, NY,
March 01, 2008. slides (ppt)
Browsing Web 3.0 on 3.0 Watts: Why Browsers Will Be Parallel
invited talk at Mozilla Corp Engineering All-Hands Week, Menlo Park, CA,
January 01, 2008.
Program Synthesis by Sketching
invited talk at ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM08), San Francisco, CA,
January 01, 2008.
Programming by Sketching
invited talk at Computer Science Colloquium, Cornell University,
October 04, 2007.
Programming by Sketching
invited talk at New England Programming Languages and Systems Symposium (NEPLS), Portland, Maine,
October 01, 2006.
Two Techniques for Programming by Sketching
invited talk at Computer Science Colloquium, Brown University,
October 01, 2006.
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.