1. Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Computer Science, Peking University, Beijing, China
2. Peking University, Beijing, China
3. Microsoft Research Asia, Shanghai, China and University of Massachusetts Amherst, Amherst, USA
4. Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Computer Science, Peking University, Beijing, China, SAMOVAR Lab, Telecom SudParis and Institut Polytechnique de Paris, Paris, France