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).