Patents by Inventor Thomas Reps

Thomas Reps 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).

  • Computer Implemented Program Specialization
    Publication number: 20220357933
    Abstract: A computerized technique for program simplification and specialization combines a partial interpretation of the program based on a subset of program functions to obtain variable states with concrete values at a program “neck.” These concrete values are then propagated as part of an optimization transformation that simplifies the program based on these constant values, for example, by eliminating branches that are never taken based on the constant values.
    Type: Application
    Filed: May 6, 2022
    Publication date: November 10, 2022
    Inventors: Mohannad Alhanahnah, Vaibhav Rastogi, Somesh Jha, Thomas Reps
  • Interprocedural slicing of computer programs using dependence graphs
    Patent number: 5161216
    Abstract: Programs having multiple procedures are analyzed by creating a systThis invention was made with U.S. Government support awarded by the National Science Foundation (NSF), Grant #DCR-8603356 and PYI Award #DCR-8552602. The U.S. Government has certain rights in this invention.
    Type: Grant
    Filed: March 8, 1989
    Date of Patent: November 3, 1992
    Assignee: Wisconsin Alumni Research Foundation
    Inventors: Thomas Reps, Susan Horwitz, David Binkley