Patents by Inventor Jeffrey S. Wallace

Jeffrey S. Wallace 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).

  • System and method for whole-system program analysis
    Patent number: 7406685
    Abstract: Defect detection in a software system made of multiple computer program programs is facilitated by using information about cross-program interactions and dependency relationships between programs to analyze the individual programs in such a way that the behavior of the system as a whole is accurately represented. A list of dependency relationships is read in; these dependency relationships are used to determine an order in which the programs should be analyzed. The programs are then analyzed in that order. Information from the analysis of the programs is used to inform the analysis of subsequently-analyzed programs.
    Type: Grant
    Filed: September 23, 2004
    Date of Patent: July 29, 2008
    Assignee: Microsoft Corporation
    Inventors: Timothy G. Fleehart, Jonathan D. Pincus, Jeffrey S. Wallace
  • System and method for whole-system program analysis
    Patent number: 6820256
    Abstract: Defect detection in a software system made of multiple computer program programs is facilitated by using information about cross-program interactions and dependency relationships between programs to analyze the individual programs in such a way that the behavior of the system as a whole is accurately represented. A list of dependency relationships is read in; these dependency relationships are used to determine an order in which the programs should be analyzed. The programs are then analyzed in that order. Information from the analysis of the programs is used to inform the analysis of subsequently-analyzed programs.
    Type: Grant
    Filed: December 13, 2000
    Date of Patent: November 16, 2004
    Assignee: Microsoft Corporation
    Inventors: Timothy G. Fleehart, Jonathan D. Pincus, Jeffrey S. Wallace
  • System and method for whole-system program analysis
    Publication number: 20020073403
    Abstract: Defect detection in a software system made of multiple computer program programs is facilitated by using information about cross-program interactions and dependency relationships between programs to analyze the individual programs in such a way that the behavior of the system as a whole is accurately represented. A list of dependency relationships is read in; these dependency relationships are used to determine an order in which the programs should be analyzed. The programs are then analyzed in that order. Information from the analysis of the programs is used to inform the analysis of subsequently-analyzed programs.
    Type: Application
    Filed: December 13, 2000
    Publication date: June 13, 2002
    Applicant: Microsoft Corporation
    Inventors: Timothy G. Fleehart, Jonathan D. Pincus, Jeffrey S. Wallace