Program Committee

PC Member

Organization

Country

Sunghun Kim Hong Kong Univ. of Science and Tech.  China
Sebastian Uchitel Universidad de Buenos Aires  Argentina
Diego Garbervetsky Universidad de Buenos Aires  Argentina
Baris Aktemur Ozyegin University  Turkey
Daniel Kroening University of Oxford  UK
Alessandro Orso Georgia Tech.  USA
Nachi Nagappan Microsoft Research  USA
Tao Xie North Carolina State University  USA
Peter Mueller ETH Zurich  Switzerland
Marcelo Cataldo Carnegie Mellon University  USA
Nikolai Tillmann Microsoft Research  USA
Tiziana Margaria-Steffen University of Potsdam  Germany
Stefano Tonetta University of Trento  Italy