Patents by Inventor Christopher Dollin

Christopher Dollin 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).

  • Code verification system and method
    Patent number: 7287243
    Abstract: The system of the present disclosure comprises memory for storing a compiled program. The system further comprises logic configured to translate the compiled program into a set of human-readable instructions and construct a coarse tree representing the program flow of the set of human-readable instructions. The logic is further configured to compute a first type signature representative of a code construct comprising alternative code paths within the program flow and determine a second type signature representative of the coarse tree based upon the first type signature.
    Type: Grant
    Filed: January 6, 2004
    Date of Patent: October 23, 2007
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Christopher Dollin, Vaideswar Gopalakrishnan
  • Code verification system and method
    Publication number: 20050188270
    Abstract: The system of the present disclosure comprises memory for storing a compiled program. The system further comprises logic configured to translate the compiled program into a set of human-readable instructions and construct a coarse tree representing the program flow of the set of human-readable instructions. The logic is further configured to compute a first type signature representative of a code construct comprising alternative code paths within the program flow and determine a second type signature representative of the coarse tree based upon the first type signature.
    Type: Application
    Filed: January 6, 2004
    Publication date: August 25, 2005
    Inventors: Christopher Dollin, Vaideswar Gopalakrishnan