Invited Talks
ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation
- Ras Bodik (University of California, Berkeley). Program Synthesis by Sketching.
- Monica Lam (Stanford University): Combining Static and Dynamic Analysis for Securing Web Applications.