Fangke Ye

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Symbolic Execution

Dual Decomposition

Top Venues

Proc. ACM Program. Lang.

Publications

Fangke Ye, Jisheng Zhao, Jun Shirako, Vivek Sarkar
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Fangke Ye, Jisheng Zhao, Vivek Sarkar
Advanced Graph-Based Deep Learning for Probabilistic Type Inference. CoRR (2020)
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
MISIM: An End-to-End Neural Code Similarity System. CoRR (2020)
Fangke Ye, Shengtian Zhou, Anand Venkat, Ryan Marcus, Paul Petersen, Jesmin Jahan Tithi, Tim Mattson, Tim Kraska, Pradeep Dubey, Vivek Sarkar, Justin Gottschlich
Context-Aware Parse Trees. CoRR (2020)
Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar
Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. CORRECTNESS@SC (2018)
Fangke Ye, Jisheng Zhao, Vivek Sarkar
Detecting MPI usage anomalies via partial program symbolic execution. SC (2018)