Josh Berdine Byron Cook Fabio Massacci Matthew J. Parkinson Marco Pistore Andreas Podelski Noam Rinetzky Andrey Rybalchenko Shmuel Sagiv Viktor Vafeiadis Moshe Y. Vardi