* [[http://www.cs.berkeley.edu/~bodik/][Ras Bodik]] (University of California, Berkeley). Program Synthesis by Sketching.
	* [[http://suif.stanford.edu/~lam/][Monica Lam]] (Stanford University): Combining Static and Dynamic Analysis for Securing Web Applications.