Oren David Kimhi

Title: Oren David Kimhi: Innovator in Code Defect Detection

Introduction

Oren David Kimhi is a notable inventor based in Chandler, AZ (US). He has made significant contributions to the field of software development, particularly in the area of code defect detection. His innovative work has led to the development of a patent that addresses critical challenges in programming.

Latest Patents

Oren David Kimhi holds a patent for "Methods, systems, articles of manufacture and apparatus to detect code defects." This patent outlines various methods, apparatus, systems, and articles of manufacture designed to detect code defects. The invention includes repository interface circuitry to retrieve code repositories corresponding to a programming language of interest. It also features tree generating circuitry to create parse trees for code blocks, directed acyclic graph (DAG) circuitry to generate DAGs with control flow and data flow information, abstraction generating circuitry to abstract the DAGs, invariant identification circuitry to extract invariants from the abstracted DAGs, and DAG comparison circuitry to cluster extracted invariants for identifying commonalities among the abstracted DAGs.

Career Highlights

Oren David Kimhi is currently employed at Intel Corporation, where he continues to innovate and contribute to advancements in technology. His work at Intel has positioned him as a key player in the development of tools that enhance software reliability and efficiency.

Collaborations

Some of Oren's notable coworkers include Justin E Gottschlich and Jeremie Dreyfuss. Their collaborative efforts contribute to the innovative environment at Intel Corporation.

Conclusion

Oren David Kimhi's contributions to the field of code defect detection exemplify the importance of innovation in software development. His patent and work at Intel Corporation highlight his commitment to improving programming practices and enhancing software quality.