Presentation to PASTE 2011

On 5th September 2011 I gave a brief presentation of GISMO to the 10th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering in their Flexible time slot. The questioners included Sumit Gulwani of Microsoft Research, who gave the keynote on Program Synthesis for Automating End-user Programming and Education.
W.B.Langdon 31 Oct 2011 (Based on 16 Sep 2011).