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:
- Qiang Cui, Junjie Wang, Guowei Yang, Miao Xie, Qing Wang, Mingshu Li, Who Should Be Selected to Perform a Task in Crowdsourced Testing? , 2017
IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC). Core B, CCF C. - Miao Xie, Qing Wang, Qiang Cui, Guowei Yang, Mingshu Li, CQM: Coverage-constrained Quality Maximization in Crowdsourcing Test, 2017 [poster]
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
- 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.
- 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,
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
|
|
