Zi Ying Xin

Title: Innovations by Zi Ying Xin

Introduction

Zi Ying Xin is an accomplished inventor based in Beijing, China. He has made significant contributions to the field of computer science, particularly in the area of control flow graphs. His innovative approach has led to the development of a unique patent that enhances the understanding of complex programming structures.

Latest Patents

Zi Ying Xin holds a patent titled "Using dynamic information to refine control flow graphs." This invention presents a system, method, and computer program product designed to simplify an original complex control flow graph (CFG) into a more manageable version. The method utilizes dynamic user input in the form of annotations, which capture the user's specific interests or knowledge of the program during runtime. By encoding assumptions about variables and their relationships, the method simplifies branching points in a generated Abstract Syntax Tree (AST). It achieves this by querying a Satisfiability Modulo Theories (SMT) solver and evaluating immediate values of expressions. Ultimately, the method generates a simplified CFG that aids programmers in understanding code and correlating different basic blocks under similar scenarios. Zi Ying Xin has 1 patent to his name.

Career Highlights

Zi Ying Xin is currently employed at the International Business Machines Corporation, commonly known as IBM. His work at IBM has allowed him to collaborate with other talented professionals in the field.

Collaborations

Some of his notable coworkers include Si Bin Fan and Bo Li, who contribute to the innovative environment at IBM.

Conclusion

Zi Ying Xin's contributions to the field of computer science through his patent on refining control flow graphs demonstrate his commitment to innovation and excellence. His work not only simplifies complex programming tasks but also enhances the overall understanding of code structures.