The VLDB Journal, Springer-Verlag. Core A*, CCF A.
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.
- 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.
IEEE/ACM 39th IEEE International Conference on Software Engineering (ICSE 2017). Core A*, CCF A.
- Miao Xie, Qing Wang, Qiang Cui, Guowei Yang, Mingshu Li, CQM: Coverage-constrained Quality Maximization in Crowdsourcing Test, 2017
- Miao Xie, Sourav S Bhowmick, Gao Cong, Qing Wang, PANDA: Towards Partial Topology-based Search on Large Networks in a Single Machine, 2017
- 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 2015. Acceptance rate: 26.67%. Core A*, CCF A.
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,
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 No. 201610270109.6, China.
- YingFei Zhang, Miao Xie, Heng Zhang, Qiusong Yang, An Effective Parallel Model Checker on Single Machine with Multi-Core, 2016
Patent No. 201510477815.3, China.
- Miao Xie, Qing Wang, Qiusong Yang, A Graph Pattern Matching Approach for Fuzzy Relationship, 2015
- Miao Xie, Qing Wang, Qiusong Yang, A Stochastic Model Checking Based Approach to Predict Information Diffusion Maximal Spreads in Online Social Media, 2014
ASONAM 2015 (The 2015 IEEE/ACM International Conference on Advances in Social Network Analysis and Mining), Reviewer.
NIPS 2016, External Reviewer.
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