Ras Bodik (University of California, Berkeley). Program Synthesis by Sketching. Monica Lam (Stanford University): Combining Static and Dynamic Analysis for Securing ...
Statistics for TWiki.PEPM08 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 2643 ...