<! bg is crestgreen, visited links are red, unvisited are blue, text is
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
Flexible time slot.
The questioners included
of Microsoft Research,
who gave the keynote on
Program Synthesis for Automating End-user Programming and Education.
31 Oct 2011
(Based on 16 Sep 2011).