Michael Kuperstein, Technion, Israel (2009) - with Martin Vechev

Ohad Shacham, Tel Aviv University, Israel (2008) - with Martin Vechev
Chameleon: Adaptive Selection of Collections (PLDI'09)

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

Thomas Dillig, Stanford (2007) - with Satish Chandra
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)