Students

Nimrod Partush

Michael Kuperstein, with Martin Vechev

Alon Mishne

Guy Gueta, with Mooly Sagiv

Sharon Shoham, Postdoc

Nayden Nedev, Sofia University, Bulgaria (2010) - with Martin Vechev

Nedyalko Prisadnikov, Sofia University, Bulgaria (2010) - with Martin Vechev

Raghavan Raman, Rice University (2009) - with Martin Vechev
Checking and Verifying Determinism (SAS'10, RV'10 best paper)

Ohad Shacham, Tel Aviv University, Israel (2008) - with Martin Vechev
Chameleon: Adaptive Selection of Collections (PLDI'09), also won 2nd place in PLDI'09 SRC.

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)