Dr. Miao Xie (谢淼)

Senior Engineer & Research Scientist, CSI Euler Department, Huawei, Beijing, China.

Email: 0520shui[AT]163.com, xiemiao [AT] nfs.iscas.ac.cn 

Supervisor: Prof. Qing Wang in ISCAS 

Co-supervisor: Prof. Gao Cong in NTU.

  • 2016 - Now:  Senior Engineer & Research Scientist, CSI Euler Department, Huawei, China.
  • 2014 - 2015:  Visiting Ph.D student, Nanyang Technological University (NTU), Singapore.  The Data Management Research Group (DANTE) of NTU 
  • 2010 - 2016:  Ph.D Candidate in University of Chinese Academy of Sciences (UCAS), China.
  • 2009 - 2010: Beihang University, Research Assistant supervised by Prof.Aihua Ren, China.
  • 2008.7 - 2008.8: University of California, Davis (UCD), Visiting Student in Computer Sciences, China.
  • 2006 - 2010: China Agriculture University (CAU), Bachelor in Computer Sciences, China.

Research Interests:

  • Social network Analysis and Big Data: influence diffusion, finding influential users in social networks and social media mining etc.
  • Software Engineering: software process techniques, model checking applications and formal methods etc.
  • Parallel and Distributed Computing for Big Data and System: distributed model checking, parallel graph matching etc.


  • Miao Xie, Sourav S Bhowmick, Hao Su, Gao Cong, Wook-Shin Han         
         PANDA: A System for Partial Topology-based Search on Large Networks
         In Proceedings of 44th International Conference on Very Large Data Bases (VLDB 2018 Demo), Core A*, CCF A.
  • Miao Xie,  Qing Wang, Guowei Yang, Mingshu Li         
         COCOON: Crowdsourced Testing Quality Maximization Under Context Coverage Constraint.
         IEEE the 28th International Symposium on Software Reliability Engineering (ISSRE 2017), Acceptance rate: 31.5%. Core A, CCF B.
  • Qiang Cui, Junjie Wang, Guowei Yang, Miao Xie, Qing Wang, Mingshu Li
         Who Should Be Selected to Perform a Task in Crowdsourced Testing? 
         IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2017). Acceptance rate: 20%. Core B, CCF C. 
  • Miao Xie, Qing Wang, Qiang Cui, Guowei Yang, Mingshu Li
CQM: Coverage-constrained Quality Maximization in Crowdsourcing Test.  [poster]
         IEEE/ACM 39th IEEE International Conference on Software Engineering (ICSE 2017). Acceptance rate: 16%. Core A*, CCF A.
          PANDA: Towards Partial Topology-based Search on Large Networks in a Single Machine. [poster]
          The VLDB Journal, Springer-Verlag. 2017. SCI IF=4.269. Core A*, CCF A. 
DynaDiffuse:A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization. [pdf] [poster]
In Proc. AAAI 2015Acceptance rate: 26.67%. Core A*, CCF A.
  • Miao Xie, Qiusong Yang, Jian Zhai, Qing Wang
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel
Journal of Parallel and Distributed Computing, Volume 74, Issue 11, November 2014, Pages 3161-3174, ISSN 0743-7315,
http://dx.doi.org/10.1016/j.jpdc.2014.07.009SCI IF=1.930. Core A*, CCF B.
  • Wei-Heng LI , Miao Xie, Jian Zhai, Qiusong Yang
Approach to Verify the Process Instantiation Model with Time and Resource Constraints
Computer Systems & Applications, in Chinese, 2014
  • Aihua Ren, Miao Xie, Electronic Industry Press
Computer Graphics and Application
ISBN: 978-7-121-12183-8, This book was well named as one of the Beijing Boutique College Textbooks. 2011.


  • YingFei Zhang, Miao Xie, Heng Zhang, Qiusong Yang, An Effective Parallel Model Checker on Single Machine with Multi-Core, 2016
          Patent No. 201610270109.6, China.
  • Miao Xie, Qing Wang, Qiusong Yang, A Graph Pattern Matching Approach for Fuzzy Relationship, 2015
          Patent No. 201510477815.3, China.
  • Miao Xie, Qing Wang, Qiusong Yang, A Stochastic Model Checking Based Approach to Predict Information Diffusion Maximal Spreads in Online Social Media, 2014
Patent No. 201410379964.1, China.
  • Miao Xie, An Action-Aware Miner for Interactive Graph Matching, 2017
Patent No. 20171010950.7, China.
    • Miao Xie, Yingliang Yao, A Data Driven Approach for Preventing Deny of Service Attacks in TEE based Mobile Devices, 2017
    Patent No. 201711124979.3, China.
    • Haibo Chen, Nan Wang, Shanxi Chen, Miao Xie, A Hardware Tracer Based Control Flow Integrity Detection Method for Mobile Devices, 2017
    Patent No. 201710952362.4, China.
      • Miao Xie, An Automatic Crowdsourcing Strategy Mining Approach for Mobile App Testing, 2017
      Patent No. 201710340474.4, China.
      • Qing Zhang, Miao Xie, Jui Shangling, A System for Image Aesthetic Scoring, 2017
      Patent No. 201711351283.4, China.
      • Miao Xie, Lianghe Zhang, Yihui Deng, Yang Xu, An Automatic Analysis Approach for Modeling Security Objectives of A System, 2017
      Patent No. 201711384203.5, China.

      Professional Services: 

      • ASONAM 2015 (The 2015 IEEE/ACM International Conference on Advances in Social Network Analysis and Mining), Reviewer.
      • NIPS 2016, External Reviewer.

      Professional Talks: 


      • Outstanding Ph.d graduate award, University of Chinese Academy of Sciences, 2016

      • National scholarship for Ph.d graduate students, China Ministry of Education, 2014

      • Pacemaker to Merit Student and Outstanding Student Scholarship, University of Chinese Academy of Sciences, 2014 and 2015

      • ZTE National Software Design Contest in Mobile Software, Outstanding Student Award, 2011

      • National Outstanding Graduates, 2010

      • China Agriculture University Outstanding Graduates, 2010