Moritz Y. Becker Laurent Bussard Shuvendu K. Lahiri Laurent Mauborgne Andreas Podelski Shaz Qadeer Andrey Rybalchenko