Interns

Isil Dillig, Stanford (2007)
The CLOSER: Automating Resource Management in Java (ISMM'08)

Thomas Dillig, Stanford (2007)
The CLOSER: Automating Resource Management in Java (ISMM'08)

Greta Yorsh, Tel Aviv University, Israel (2006)
Modular Analysis
Generating Precise and Concise Procedure Summaries (POPL'08)

Sharon Shoham, Technion - Israel Institute of Technology (2006, visit 2007)
Mining Temporal Specification
(ISSTA'07 best paper)

Martin Vechev, Cambridge University (2005, 2006)
Synthesis of Concurrent Garbage Collectors (PLDI'06) (PLDI'07)

Noam Rinetzky, Tel Aviv Univeristy, Israel (2005)
Misc. Shape Analysis Problems (TOPLAS'07)