Give a talk at Programming Languages Group and SNS Group, Princeton University (Hosted by Prof. Aarti Gupta).