Company Filing History:
Years Active: 2012-2013
Title: Ayee Kannan Goundan: Innovator in Source Code Analysis
Introduction
Ayee Kannan Goundan is a notable inventor based in Los Angeles, CA. He has made significant contributions to the field of computer science, particularly in the analysis of source code. With a total of 2 patents, Goundan's work focuses on enhancing the safety and efficiency of software development.
Latest Patents
Goundan's latest patents include innovative methods for analyzing source code. The first patent, titled "Apparatus and method for analyzing source code using memory operation evaluation and boolean satisfiability," describes a computer-readable storage medium that includes executable instructions to identify memory operations in target source code. This method develops a set of constraints associated with the memory operation, which are then converted into a Boolean expression. The Boolean expression is processed with a Boolean satisfiability engine to determine whether the memory operation is potentially unsafe.
The second patent, "Apparatus and method for analyzing source code using path analysis and Boolean satisfiability," outlines a similar approach. This invention identifies a path in target source code and extracts constraints associated with that path. These constraints are converted into a Boolean expression, which is then processed to identify either a feasible or infeasible path. A feasible path undergoes static analysis, while an infeasible path does not.
Career Highlights
Ayee Kannan Goundan is currently employed at Hewlett-Packard Development Company, L.P. His work at HP allows him to apply his innovative ideas in a practical setting, contributing to advancements in software safety and reliability.
Collaborations
Goundan has collaborated with notable colleagues such as Brian V Chess and Sean Patrick Fay. These partnerships have likely enriched his work and expanded the impact of his inventions.
Conclusion
Ayee Kannan Goundan is a distinguished inventor whose contributions to source code analysis are paving the way for safer software development practices. His patents reflect a deep understanding of computer science and a commitment to innovation.