Michael Kuperstein (Technion), Fall 2009
Topic: Synthesis of Algorithmic Synchronization
Raghavan Raman (Rice University), Fall 2009
Topic: Checking Determinism
Ohad Shacham (Tel Aviv University), Summer 2008
Topic: Data Structure Selection (PLDI'2009)