Microsoft Technology Licensing, LLC

Todd B Knoblock

Jakob Rehof

Brian Kevin Guenter

Greg D Schechter

Salim S AbiEzzi

Colin L Campbell

Erik S Ruf

Conal M Elliott

Chun-Fu Ricky Yeung

Systems, methods, and structures are discussed that enhance type reconstruction for programs. Whereas previous methods insufficiently provide the set of types necessary for program analysis, the embodiments of the present invention can accept any verifiable bytecode programs and produce a set of types needed for program analysis. The embodiments of the present invention provide a technique called subtype completion that transforms a subtyping system by extending its type hierarchy to a lattice. However, such transformation inserts only a minimal amount of elements so as to enhance the computation of reconstructed types.

Methods for enhancing type reconstruction

A computer-implemented shading system includes a geometric renderer which renders a computer generated image to produce geometric image information for an object in a scene, and a user interface which permits a user to selectively vary a designated parameter(s) to affect how that object is shaded. The system also includes a specialized shader to shade the object in the scene according to the designated parameter(s) and other shading parameters. The specialized shader is created from the user's original shader. The specialized shader has a cache loader which contains all of the terms of the user's original shader, plus load operations to load values from computations that do not depend from the designated parameter(s). The specialized shader also has a cache reader which contains a reduced set of terms from the original shader that depend on the designated parameter(s), plus read operations to read the values of the non-variant terms from the cache. When the user designates a parameter(s), the cache loader is executed once to compute the values that will not change when the user varies the designated parameter(s). The cache reader is then executed each time the user alters the value of the designated parameter(s). In this manner, only the computations that are dependent on the designated parameter(s) are recomputed for each alteration, thereby streamlining operation of the entire shading process.

Specialized shaders for shading objects in computer generated images

A method and system for modeling interactive animation and other integrated media includes support for a declarative modeling language and a system for presenting media represented in a declarative language model. The modeling language enables authors to represent natural or modeled media in a compact model, and it allows for the explicit description of time varying behavior as well as reactive behavior, which occurs in response to discrete events. The system compiles or interprets the model, optimizes it, and controls the presentation of media represented in it.

Method and system for modeling and presenting integrated media with a

Growing community of inventors

Woodinville, WA, United States of America

Todd B Knoblock