Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. - Fangke Ye; Markus Schordan; Chunhua Liao; Pei-Hung Lin; Ian Karlin; Vivek Sarkar (CORRECTNESS@SC, 2018)

Detecting MPI usage anomalies via partial program symbolic execution. - Fangke Ye; Jisheng Zhao; Vivek Sarkar (SC, 2018)

Context-Aware Parse Trees. - Fangke Ye; Shengtian Zhou; Anand Venkat; Ryan Marcus; Paul Petersen; Jesmin Jahan Tithi; Tim Mattson; Tim Kraska; Pradeep Dubey; Vivek Sarkar; Justin Gottschlich (CoRR, 2020)

MISIM: An End-to-End Neural Code Similarity System. - Fangke Ye; Shengtian Zhou; Anand Venkat; Ryan Marcus; Nesime Tatbul; Jesmin Jahan Tithi; Paul Petersen; Timothy G. Mattson; Tim Kraska; Pradeep Dubey; Vivek Sarkar; Justin Gottschlich (CoRR, 2020)

Advanced Graph-Based Deep Learning for Probabilistic Type Inference. - Fangke Ye; Jisheng Zhao; Vivek Sarkar (CoRR, 2020)

Dataset and Model Files for the Paper "Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving". - Fangke Ye; Jisheng Zhao; Jun Shirako; Vivek Sarkar (Zenodo, 2023)

Code for the Paper "Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving". - Fangke Ye; Jisheng Zhao; Jun Shirako; Vivek Sarkar (Zenodo, 2023)

Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving. - Fangke Ye; Jisheng Zhao; Jun Shirako; Vivek Sarkar (Proc. ACM Program. Lang., 2023)

Leveraging machine learning for enhancing code performance and programming productivity. - Fangke Ye (2024)