Company Filing History:
Years Active: 2013-2014
Title: Innovations by Sumant J Kowshik
Introduction
Sumant J Kowshik is an accomplished inventor based in San Francisco, CA. He has made significant contributions to the field of computer science, particularly in the area of program analysis and defect detection. With a total of two patents to his name, Kowshik's work has the potential to enhance the efficiency and accuracy of software development processes.
Latest Patents
Kowshik's latest patents focus on methods for selectively pruning false paths in graphs that utilize high-precision state information. These methods allow a false path pruner to traverse a directed acyclic graph in conjunction with checker programs that analyze a program for defects or other artifacts of interest. The innovation lies in the ability of the false path pruner to override decisions made by the checkers, enabling re-traversal during future analyses when the same defect or artifact may not lie along a false path. This approach helps avoid missing valid defects or artifacts, thereby improving the overall reliability of software.
Career Highlights
Sumant J Kowshik is currently employed at Coverity, Inc., a company known for its advanced software testing solutions. His work at Coverity has allowed him to apply his innovative ideas in a practical setting, contributing to the development of tools that enhance software quality.
Collaborations
Kowshik collaborates with talented professionals in his field, including his coworker Andy Chou. Together, they work on projects that aim to push the boundaries of software analysis and defect detection.
Conclusion
Sumant J Kowshik's contributions to the field of computer science through his patents and work at Coverity, Inc. highlight his role as an influential inventor. His innovative methods for improving software analysis are paving the way for more reliable and efficient software development practices.