Xavier Rival is Research Director at INRIA Paris and head of the research group on static analysis at Ecole Normale Superieure/CNRS/INRIA/PSL Kwangkeun Yi is Professor in the Department of Computer Science & Engineering at Seoul National University and head of its Programming Research Laboratory.