Fangke Ye

According to our database, Fangke Ye authored at least 6 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2023

2020

Advanced Graph-Based Deep Learning for Probabilistic Type Inference.

Fangke Ye, Jisheng Zhao, Vivek Sarkar

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

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

2018

Detecting MPI usage anomalies via partial program symbolic execution.

Fangke Ye, Jisheng Zhao, Vivek Sarkar

Proceedings of the International Conference for High Performance Computing, 2018

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free.

Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018