Publications

Concrete Type Inference for Code Optimization Using Machine Learning with SMT Solving
Fangke Ye, Jisheng Zhao, Jun Shirako, Vivek Sarkar
SPLASH/OOPSLA 2023

PDF Cite Code

Methods and Apparatus to Determine Refined Context for Software Bug Detection and Correction
Shengtian Zhou, Justin Gottschlich, Fangke Ye, Celine Lee, Jesmin Jahan Tithi
Patent No. US 11,782,813 B2

Methods and Apparatus for Automatic Detection of Software Bugs
Fangke Ye, Justin Gottschlich, Shengtian Zhou, Roshni Iyer, Jesmin Jahan Tithi
US Patent Application No. 17/133,238 (Pending)

Methods and Apparatus to Construct Program‑Derived Semantic Graphs
Shengtian Zhou, Fangke Ye, Roshni G Iyer, Jesmin Jahan Tithi, Justin Gottschlich
US Patent Application No. 17/133,168 (Pending)

Advanced Graph-Based Deep Learning for Probabilistic Type Inference
Fangke Ye, Jisheng Zhao, Vivek Sarkar
Preprint arXiv:2009.05949 [cs.PL]

PDF Cite

MISIM: A Neural Code Semantics Similarity System Using the Context-Aware Semantics Structure
Fangke Ye, Shengtian Zhou, Anand Venkat, Ryan Marcus, Nesime Tatbul, Jesmin Jahan Tithi, Niranjan Hasabnis, Paul Petersen, Timothy Mattson, Tim Kraska, Pradeep Dubey, Vivek Sarkar, Justin Gottschlich
Preprint arXiv:2006.05265 [cs.LG]

PDF Cite Code

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free
Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar
International Workshop on Software Correctness for HPC Applications (Correctness 2018)

PDF Cite Slides

Detecting MPI Usage Anomalies via Partial Program Symbolic Execution
Fangke Ye, Jisheng Zhao, Vivek Sarkar
The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC 2018)

Cite Code Slides