Biography
I am a Research Scientis at Meta. Previously, I got my Ph.D. in Computer Science at Georgia Institute of Technology, advised by Prof. Vivek Sarkar in the Habanero Extreme Scale Software Research Laboratory. I received my bachelor’s degree in Computer Science and Technology at Tsinghua University in 2017.
My Ph.D. research focused on integrating machine learning into programming systems to enhance code performance and programming productivity. I developed deep learning methodologies across various domains, including code semantic similarity, type inference, test generation, and compiler optimization. Additionally, I worked on debugging parallel programs using static analysis techniques, such as 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