News

  • 28/10/2019 Joined Huawei London Research Centre as a Mobile GPU Intern mentored by Graham Connor, the Chief GPU Scientist.
  • 30/09/2019 Our papers [SIF: A Framework for Solidity Contract Instrumentation and Analysis] and [SolAnalyser: A Framework for Analysing and Testing Smart Contracts] are accepted by APSEC 2019.
  • 31/07/2019 We are excited to release SIF - a code analysis and instrumentation framework for Solidity smart contracts.
  • 30/05/2019 My PhD research proposal On the Correctness of GPU programs is accepted by ISSTA 2019 Doctoral Symposium.
  • 24/01/2019 Our paper CLTestCheck: Measuring Test Effectiveness for GPU Kernels is accepted by FASE 2019.
  • 01/09/2017 Started my PhD at University of Edinburgh with Dr. Ajitha Rajan fully funded by Huawei Scholarship.
  • 17/11/2016 Our Team EPCC selected to participate in the final round of the ISC Student Cluster Competition.

Work Experience

[28/10/2019 - In Progress] Huawei London Research Centre

  • Position: Mobile GPU Intern
  • Project: Micro benchmarking for mobile GPUs
  • Mentor: Graham Connor (Chief GPU Scientist)

Publications

(2019). SIF: A Framework for Solidity Contract Instrumentation and Analysis. In proceedings of APSEC 2019 (To appear in December 2019).

Code

(2019). SolAnalyser: A Framework for Analysing and Testing Smart Contracts. In proceedings of APSEC 2019 (To appear in December 2019).

(2019). On the Correctness of GPU Programs. In proceedings of ISSTA 2019.

PDF

(2019). CLTestCheck: Measuring Test Effectiveness for GPU Kernels. In proceedings of FASE 2019 (held as part of ETAPS 2019).

PDF Code

Service

Jul 2019 – Jul 2019

Student Volunteer

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019)

Apr 2019 – Apr 2019

Student Volunteer

The 2019 European Joint Conferences on Theory and Practice of Software (ETAPS 2019)

Dec 2018

Reviewer

ICSE 2019 SEIP (Software Engineering in Practice) Track

Education

 
 
 
 
 
September 2017 – Present
United Kingdom

PhD Candidate

The University of Edinburgh

Doctor of Philosophy in Informatics
 
 
 
 
 
September 2016 – August 2017
United Kingdom

MSc Student

The University of Edinburgh

Master of Science in High Performance Computing and Data Science
 
 
 
 
 
September 2012 – June 2016
China

BEng Student

Xuzhou University of Technology

Bachelor of Engineering in Computer Science and Technology

Skills

Programming Languages Parallel Programming Languages
  • C/C++
  • Java
  • Python
  • Fortran
  • OpenCL
  • MPI
  • OpenMP
  • CUDA
  • Mandarin Chinese - Native
  • English - Proficient
  • German - Basic

Teaching

[Teaching Assistant, Tutor and Marker] Software Testing. School of Informatics, the University of Edinburgh. Jan 2018 - Apr 2018, Jan 2019 - Apr 2019

[Marker] Computer Programming Skills and Concepts. School of Informatics, the University of Edinburgh. Nov 2017 - Dec 2017, Dec 2018 - Jan 2019

[Demonstrator] Introduction to Java Programming. School of Informatics, the University of Edinburgh. Sep 2017 - Dec2017, Sep 2018 - Dec 2018

Awards

Scholarship

  • Huawei Scholarship (fully-funded PhD scholarship)
  • Outstanding Graduate Scholarship at Xuzhou University of Technology
  • China National Scholarship of 201415 Academic Year
  • China National Encouragement Scholarship of 201314 Academic Year
  • China National Scholarship of 201213 Academic Year

Honours

  • Nominee for Teaching Awards: Best Student Who Tutors Award
  • Certificate of Achievement for Participating in the 6th Annual HPCAC Student Cluster Competition
  • Top Ten Role Models of Study in Xuzhou University of Technology
  • Excellent Graduate of Xuzhou University of Technology
  • Jiangsu Province-Level Excellent Student Cadre

Extra-Curricular & Volunteer Experience

  • [13 Apr 2017-15 Apr] 2017 Volunteer and demonstrator at drop-in event ‘What can supercomputers do’ at Edinburgh International Science Festival
  • [Sep 2013 - Sep 2014] Key volunteer of the 18th Sports Meeting of Jiangsu Province
  • [Dec 2014 - Dec 2015] President of the Student Union of Department of Information & Electrical Engineering, Xuzhou University of Technology