Wisconsin Alumni Research Foundation

Mohannad Alhanahnah

Somesh Jha

Thomas Reps

Rahul Chatterjee

Andrei Sabelfeld

Earlence Fernandes

Yunang Chen

Vaibhav Rastogi

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.

Computer implemented program specialization

An apparatus and method for improving the security of trigger action platforms of a type providing interoperability between computer services send the trigger service additional information about an interoperability rule for the computer services so that the trigger service may implement a minimizer reducing the data communicated when the interoperability is implemented. Implementation of the minimizer may be done in a way that is transparent to the trigger action platform eliminating the need for disruption of existing interoperability services.

Method and apparatus for improved security in trigger action platforms

Growing community of inventors

Madison, WI, United States of America

Mohannad Alhanahnah