Methods and Apparatus to Determine Refined Context for Software Bug Detection and Correction

Patent No. US 11,782,813 B2

Methods and Apparatus for Automatic Detection of Software Bugs

US Patent Application No. 17/133,238 (Pending)

Methods and Apparatus to Construct Program‑Derived Semantic Graphs

US Patent Application No. 17/133,168 (Pending)

Advanced Graph-Based Deep Learning for Probabilistic Type Inference

Preprint arXiv:2009.05949 [cs.PL]

PDF Cite

MISIM: A Neural Code Semantics Similarity System Using the Context-Aware Semantics Structure

Preprint arXiv:2006.05265 [cs.LG]

PDF Cite Code

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free

International Workshop on Software Correctness for HPC Applications (Correctness 2018)

PDF Cite Slides

Detecting MPI Usage Anomalies via Partial Program Symbolic Execution

The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC 2018)

Cite Code Slides