Biography
I am a Ph.D. student in Computer Science at Georgia Institute of Technology, advised by Prof. Vivek Sarkar in the Habanero Extreme Scale Software Research Laboratory. Previously, I received my bachelor’s degree in Computer Science and Technology at Tsinghua University in 2017.
My current research focuses on the integration of machine learning into programming systems, with the goal of enhancing both code performance and programming productivity. I have developed deep learning methodologies in various domains such as code semantic similarity, type inference, test generation, and compiler optimization.
I have also worked on the debugging of parallel programs through static analysis techniques including symbolic execution and polyhedral analysis.
Publications & Preprints
Patent No. US 11,782,813 B2
US Patent Application No. 17/133,238 (Pending)
US Patent Application No. 17/133,168 (Pending)
Preprint arXiv:2009.05949 [cs.PL]
Preprint arXiv:2006.05265 [cs.LG]
International Workshop on Software Correctness for HPC Applications (Correctness 2018)
The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC 2018)
Experience
- Host: Milad Hashemi and Eric Zhang
- Developed a deep generative model for structured test input using neural module networks and deep reinforcement learning.
- Host: Justin Gottschlich
- Developed MISIM, a neural code semantic similarity system, using a novel code representation named context‑aware semantics structure and deep metric learning neural networks.
- Host: Markus Schordan
- Developed a polyhedral analysis based approach to verify OpenMP parallel affine loop nests are data race free using the ROSE compiler infrastructure.
Awards
-
First Place in the 6th ISC‑HPCAC Student Cluster Competition, 2017
- Participated as the leader of the Tsinghua Student Cluster Competition Team.
-
Champion in ASC Student Supercomputer Challenge, 2017
- Participated as the leader of the Tsinghua Student Cluster Competition Team.
-
Second Place in the 5th ISC‑HPCAC Student Cluster Competition, 2016
- Participated as a member of the Tsinghua Student Cluster Competition Team.
-
First Prize in the “Challenge Cup” Tsinghua University Student Science and Technology Works Competition, Tsinghua University, 2015
-
Scholarship of Academic Excellence, Tsinghua University, 2014/2015
-
First Prize in the National College Student Physics Contest, China, 2014