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.


Biography
  • 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.

Publications: 

  • Miao Xie, Qing Wang, Qiang Cui, Guowei Yang, Mingshu Li, CQM: Coverage-constrained Quality Maximization in Crowdsourcing Test, 2017
          
IEEE/ACM 39th IEEE International Conference on Software Engineering (ICSE 2017). Core A*, CCF A.
  • Miao Xie, Sourav S Bhowmick, Gao Cong, Qing Wang, PANDA: Towards Partial Topology-based Search on Large Networks in a Single Machine, 2017         
          The VLDB Journal, Springer-Verlag. Core A*, CCF A.
  • Miao Xie, Qiusong Yang, Qing Wang, Gao Cong, Gerard de Melo, DynaDiffuse:A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization, 2015 [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, 2014
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.233. Core A*, CCF B.
Computer Systems & Applications, in Chinese.
ISBN: 978-7-121-12183-8, This book was well named as one of the Beijing Boutique College Textbooks.

Patent:

  • 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.

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: 

Awards: 

  • 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