Is a
Patent attributes
Patent Applicant
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Mohannad Alhanahnah0
Somesh Jha0
Vaibhav Rastogi0
Thomas Reps0
Date of Patent
September 3, 2024
0Patent Application Number
177381580
Date Filed
May 6, 2022
0Patent Citations
Patent Primary Examiner
CPC Code
Patent 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.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
