Patents by Inventor Christopher Eugene Bowler

Christopher Eugene Bowler has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Diagnosing aliasing violations in a partial program view
    Patent number: 8930927
    Abstract: A compiler generated static analysis of potential aliasing violations in a portion of code that is not in the current program view of the analysis. Source code in a current program view of the program code is processed to collect symbol definitions. The possible destinations of each symbol definition are computed. The set of symbol definitions in the current program view of the code that are accessible to the portion of the program code outside the current program view is evaluated. Each symbol definition is diagnosed based on the type of the symbol defined and the symbols which may be pointed-to by the symbol definitions.
    Type: Grant
    Filed: December 18, 2008
    Date of Patent: January 6, 2015
    Assignee: International Business Machines Corporation
    Inventors: Christopher Eugene Bowler, Sean Douglas Perry, Ettore Tiotto
  • Diagnosing Aliasing Violations in a Partial Program View
    Publication number: 20100162219
    Abstract: A compiler generated static analysis of potential aliasing violations in a portion of code that is not in the current program view of the analysis. Source code in a current program view of the program code is processed to collect symbol definitions. The possible destinations of each symbol definition are computed. The set of symbol definitions in the current program view of the code that are accessible to the portion of the program code outside the current program view is evaluated. Each symbol definition is diagnosed based on the type of the symbol defined and the symbols which may be pointed-to by the symbol definitions.
    Type: Application
    Filed: December 18, 2008
    Publication date: June 24, 2010
    Applicant: International Business Machines Corporation
    Inventors: Christopher Eugene Bowler, Sean Douglas Perry, Ettore Tiotto