This inventor holds 3 USPTO granted patents. Top assignee: Google Inc.. Active years: 2014-2015.
Location History:
- Munich, DE (2014)
- Ottobrunn, DE (2014 - 2015)
Company Filing History:
Years Active: 2014-2015
Title: Manuel Victor Klimek: Innovator in Computer Program Analysis
Introduction
Manuel Victor Klimek is a notable inventor based in Ottobrunn, Germany. He has made significant contributions to the field of computer program analysis, holding a total of 3 patents. His work focuses on enhancing the efficiency and effectiveness of static analysis in large-scale computer programs.
Latest Patents
One of Klimek's latest patents is titled "Sharding program compilation for large-scale static analysis." This invention provides a system, method, and computer-readable medium for performing static analysis on large-scale computer programs. It utilizes a compiler to shard the programs by source files, allowing for efficient analysis. The original compilation information is received for groups of source files that reference modules in module containers. The compiler determines a set of modules and other referenced source files, modifying the compilation information accordingly. This innovative approach enables static analysis to be performed efficiently over large-scale computer programs.
Another significant patent is the "Predicate matching library for complex program analysis." This matching library defines a number of predicates applicable to an abstract syntax tree (AST) corresponding to the program code being analyzed. The predicates help identify whether nodes of the AST possess certain properties, such as class inheritance. The code analysis system utilizes this library to obtain an AST, execute predicate expression queries, and perform actions against identified nodes, thereby enhancing the analysis process.
Career Highlights
Manuel Victor Klimek is currently employed at Google Inc., where he continues to develop innovative solutions in the realm of computer program analysis. His work at Google has allowed him to collaborate with other talented professionals in the field.
Collaborations
Some of Klimek's notable coworkers include Bruce Chandler Carruth and Jeffrey Van Gogh. Their collaborative efforts contribute to the advancement of technology and innovation within the company.
Conclusion
Manuel Victor Klimek is a distinguished inventor whose work in computer program analysis has led to significant advancements in the field. His patents reflect a commitment to improving the efficiency of static analysis, making a lasting impact on the industry.