Patents by Inventor Kevin M. Bierhoff

Kevin M. Bierhoff 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).

  • Method for statically checking an object-oriented computer program module
    Patent number: 8327327
    Abstract: A method for statically checking an object-oriented computer program module includes the step of identifying objects within a computer program module, at least one of the objects having a plurality of references thereto, possibly from multiple clients. A discipline of permissions is imposed on the objects identified within the computer program module. The permissions enable tracking, from among a discrete set of changeable states, a subset of states each object might be in. A determination is made regarding whether the imposed permissions are violated by a potential reference to any of the identified objects. The results of the determination are output to a user.
    Type: Grant
    Filed: March 21, 2008
    Date of Patent: December 4, 2012
    Assignee: Carnegie Mellon University
    Inventors: Kevin M. Bierhoff, Jonathan Aldrich
  • Method for statically checking an object-oriented computer program module
    Publication number: 20080313613
    Abstract: A method for statically checking an object-oriented computer program module includes the step of identifying objects within a computer program module, at least one of the objects having a plurality of references thereto, possibly from multiple clients. A discipline of permissions is imposed on the objects identified within the computer program module. The permissions enable tracking, from among a discrete set of changeable states, a subset of states each object might be in. A determination is made regarding whether the imposed permissions are violated by a potential reference to any of the identified objects. The results of the determination are output to a user.
    Type: Application
    Filed: March 21, 2008
    Publication date: December 18, 2008
    Inventors: Kevin M. Bierhoff, Jonathan Aldrich