Gilad Arnold Trishul M. Chilimbi Elliot K. Kolodner Roman Manevich Yair Sade Shmuel Sagiv Eran Yahav