Organization Committee
General Chair
Grigore Rosu
University of Illinois at Urbana-Champaign
USA
Program Chairs
Massimiliano Di Penta
University of Sannio
Italy
Tien N. Nguyen
University of Texas at Dallas
USA
Reviews Process Chairs
Gabriele Bavota
University of Lugano
Switzerland
Hoan Nguyen
Iowa State University
USA
Tool Demonstration Chairs
David Lo
Singapore Management University
Singapore
Alexander Pretschner
Technical University of Munich
Germany
Workshop Chairs
Antonio Filieri
Imperial College
UK
Corina Pasareanu
Carnegie Mellon University (West) / NASA Ames
USA
Doctoral Symposium Chairs
Gordon Fraser
University of Sheffield
UK
Christian Kästner
Carnegie Mellon University
USA
Tutorial Chairs
Nikolaj Bjørner
Microsoft Research
USA
Milos Gligoric
University of Texas at Austin
USA
Publicity and Social Media Chairs
Jeff Huang
Texas A&M University
USA
Na Meng
Virginia Tech
USA
Sponsorship Chair
Michael Whalen
University of Minnesota
USA
Local Arrangements Chair
Tao Xie
University of Illinois at Urbana-Champaign
USA
Finance Chair / Treasurer
Darko Marinov
University of Illinois at Urbana-Champaign
USA
Proceedings Chair
Sasa Misailovic
University of Illinois at Urbana-Champaign
USA
Student Volunteer Chairs
Mark Hills
East Carolina University
USA
Owolabi Legunsen
University of Illinois at Urbana-Champaign
USA
Web Chairs
Felicia Chandra
University of Illinois at Urbana-Champaign
USA
Wei Yang
University of Illinois at Urbana-Champaign
USA
Conference Organization
Michelle Marquart
University of Illinois at Urbana-Champaign
USA
Donna Coleman
University of Illinois at Urbana-Champaign
USA
Lisa Yanello
University of Illinois at Urbana-Champaign
USA