Program Analysis for Cangjie
A program-analysis framework combining logical and probabilistic reasoning for a domestic programming language.
As part of a Huawei enterprise project, I contributed to developing a program-analysis framework for a domestic programming language that combines logical and probabilistic reasoning.
I implemented a data-race analysis using this framework to evaluate its effectiveness. My work included extracting frontend predicates from the compiler, implementing the analysis in Datalog, evaluating it on third-party libraries, and integrating the analysis module with surrounding components.