Konstantine Arkoudas Cyrille Artho Adnan Aziz Howard Barringer Don S. Batory Eric Bodden Chandrasekhar Boyapati Suhabe Bugrara Cristian Cadar David Coppit John Derrick Sophia Drossopoulou Susan Eisenbach Bassem Elkarablieh John A. Fitzgerald Marc Frappier Diego Funes Svetoslav R. Ganov Daniel Garcia Ivan Garcia Iván García Khalid Ghori Indradeep Ghosh Milos Gligoric Uwe Glässer Stefania Gnesi Patrice Godefroid Allen Goldberg Divya Gopinath Tihomir Gvero Sam Harwell Klaus Havelund Daniel Jackson Margarida F. Jacome Vilas Jagannath Shadi Abdul Khalek Chip Killmar Chang Hwan Peter Kim Miryung Kim Viktor Kuncak Régine Laleau Yai O. Laleye Steven Lauterburg Wei Le Yun Young Lee Michael Leuschel Xiaoming Li Xin Li Michael R. Lowry Muhammad Zubair Malik Darko Marinov Kathryn S. McKinley Aleksandar Milicevic Sasa Misailovic Vidya Priyadarshini Narayanan Mizuhito Ogawa John Pape Corina S. Pasareanu Dewayne E. Perry Suzette Person Aman Pervaiz Nemanja Petrovic Rodion M. Podorozhny Sreeranga P. Rajan Steve Reeves Elvinia Riccobene Martin C. Rinard Grigore Rosu Shounak Roychowdhury Neha Rungta Koushik Sen Daryl Shannon Danhua Shao Ilya Shlyakhter Junaid Haroon Siddiqui Yuk Lai Suen Kevin J. Sullivan Nikolai Tillmann Engin Uzuncaova Willem Visser Duy Vu Jabari Walker Richard Washington Guowei Yang Jinlin Yang Razieh Nokhbeh Zaeem Fadi A. Zaraket Yehia Zayour Lingming Zhang Lintao Zhang Lu Zhang 0023 Xiaoqin Zhang Marcelo d'Amorim