| Misim: A neural code semantics similarity system using the context-aware semantics structure F Ye, S Zhou, A Venkat, R Marcus, N Tatbul, JJ Tithi, N Hasabnis, ... arXiv preprint arXiv:2006.05265, 2020 | 33* | 2020 |
| Using polyhedral analysis to verify openmp applications are data race free F Ye, M Schordan, C Liao, PH Lin, I Karlin, V Sarkar 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC …, 2018 | 17 | 2018 |
| Detecting MPI usage anomalies via partial program symbolic execution F Ye, J Zhao, V Sarkar SC18: International Conference for High Performance Computing, Networking …, 2018 | 14 | 2018 |
| Methods and apparatus for automatic detection of software bugs F Ye, J Gottschlich, S Zhou, R Iyer, JJ Tithi US Patent App. 17/133,238, 2021 | 6 | 2021 |
| Advanced graph-based deep learning for probabilistic type inference F Ye, J Zhao, V Sarkar arXiv preprint arXiv:2009.05949, 2020 | 5 | 2020 |
| Context-Aware Parse Trees F Ye, S Zhou, A Venkat, R Marcus, P Petersen, JJ Tithi, T Mattson, ... arXiv preprint arXiv:2003.11118, 2020 | 4 | 2020 |
| Methods and appartus to construct program-derived semantic graphs S Zhou, F Ye, RG Iyer, JJ Tithi, J Gottschlich US Patent App. 17/133,168, 2021 | 1 | 2021 |
| Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving F Ye, J Zhao, J Shirako, V Sarkar Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 773-800, 2023 | | 2023 |
| Methods and apparatus to determine refined context for software bug detection and correction S Zhou, J Gottschlich, F Ye, C Lee, JJ Tithi US Patent 11,782,813, 2023 | | 2023 |
