Program committee



NameAffiliation
Amir Kafshdar Goharshady chairHong Kong University of Science and Technology
Andreas PavlogiannisAarhus University
Andreas SchmidtSaarland University
Ansgar FehnkerMacquarie University
Banghu YinNational University of Defense Technology
Basile PesinVerimag
Benjamin Lucien KaminskiSaarland University and University College London
Bruno OliveiraUniversity of Hong Kong
Charles ZhangHKUST
Chenglin WangThe Hong Kong University of Science and Technology
Christoph HaaseUniversity of Oxford
Christophe GarionISAE-SUPAERO
Debasmita LoharKarlsruhe Institute of Technology
Đorđe ŽikelićSingapore Management University
Fu SongInstitute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences
Guannan WeiINRIA/ENS-PSL; Tufts University
Guillaume DupontIRIT
Harshit Jitendra MotwaniHKUST
Hiren PatelUniversity of Waterloo
Hongfei FuShanghai Jiao Tong University
Hossein HojjatTehran University & Tehran Institute of Advanced Studies
Inigo IncerCalifornia Institute of Technology
Jun PangUniversity of Luxembourg
Jun SunSingapore Management University
Kaushik MallikInstititue of Science and Technology Austria
Lei BuNanjing University
Lionel ParreauxHKUST (The Hong Kong University of Science and Technology)
Liqian Chen chairNational University of Defense Technology
Marc PouzetÉcole normale supérieure
Meng SunPeking University
Min ZhouTsinghua University
Mingshuai ChenZhejiang University
Nan Guan chairCity University of Hong Kong
Ning GeBeihang University
Partha RoopUniversity of Auckland
Peisen YaoZhejiang University
Peter HoefnerAustralian National University
R. GovindUppsala University
S. AkshayIIT Bombay
Sergio MoverÉcole Polytechnique, France
Supratik ChakrabortyIIT Bombay
Thomas BourgeatEPFL
Thomas SewellCambridge University
Timothy Bourke chairInria/ENS
Ting SuEast China Normal University
Wei DongNational University of Defense Technology
Yingfei XiongPeking University
Yu ZhouNanjing University of Aeronautics and Astronautics
Yufeng ZhangHunan University
Yuxin DengEast China Normal University
Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Zhiping ShiBeijing Academy of Science and Technology
Zhiwu XuShenzhen University