Jakob N Rehof

6907395, Jun 14, 2005

Oct 24, 2000

09/696707

Galen C. Hunt - Bellevue WA, US
Aamer Hydrie - Kirkland WA, US
Robert V. Welland - Seattle WA, US
Bassam Tabbara - Seattle WA, US
Steven P. Levi - Redmond WA, US
Jakob Rehof - Redmond WA, US

Microsoft Corporation - Redmond WA

G06F009/44

703 21, 709201, 709203, 709226

A system facilitates the design and implementation of large-scale applications, such as Internet Services and Websites, for distributed computer systems, such as server data centers, Internet data centers (IDCs), Web farms, and the like. The system has a modeling system and a deployment system. The modeling system permits developers to architect the hardware and software used to implement the applications in an abstract manner. The modeling system defines a set of components used to describe the functionality of an application. The model components are arranged and interconnected to form a scale-independent logical model of the application. Once a logical model is created, the deployment system uses the logical model to automatically deploy various computer/software resources to implement the application. The deployment system converts each of the model components into one or more instances that correspond to physical resources.

6981249, Dec 27, 2005

May 2, 2000

09/562665

Todd B. Knoblock - Woodinville WA, US
Jakob Rehof - Redmond WA, US

Microsoft Corporation - Redmond WA

G06F009/45

717141, 717151

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.

7113900, Sep 26, 2006

Oct 24, 2000

09/695813

Galen C. Hunt - Bellevue WA, US
Aamer Hydrie - Kirkland WA, US
Robert V. Welland - Seattle WA, US
Bassam Tabbara - Seattle WA, US
Steven P. Levi - Redmond WA, US
Jakob Rehof - Redmond WA, US

Microsoft Corporation - Redmond WA

G06F 17/50
G06F 7/62

703 13

A modeling system permits developers of applications for distributed computer system, such as those used in server data centers or Internet data centers (IDCs), to architect their hardware and software in an abstract manner. The modeling system defines a set of components that represent abstract functional operations of the application that will eventually be physically implemented by one or more computers and one or more software programs executing on the computers. Associated with the model components is a schema that dictates how the functional operations are to be specified. From the model components, the developers can create logical, scale-independent models of the applications that may be implemented by the distributed computer system. The application is scale-independent in that the application is invariant in respect to the number of computers and software programs that my eventually be used to implement it. The application may subsequently be converted to a physical blueprint that specifies the number and type of hardware/software resources and the physical layout of the distributed computer system.

7155380, Dec 26, 2006

Dec 9, 2004

11/008685

Galen C. Hunt - Bellevue WA, US
Aamer Hydrie - Seattle WA, US
Robert V. Welland - Seattle WA, US
Bassam Tabbara - Seattle WA, US
Steven P. Levi - Redmond WA, US
Jakob Rehof - Redmond WA, US

Microsoft Corporation - Redmond WA

G06F 9/44

703 21, 709226

A system facilitates the design and implementation of large-scale applications, such as Internet Services and Websites, for distributed computer systems, such as server data centers, Internet data centers (IDCs), Web farms, and the like. The system has a modeling system and a deployment system. The modeling system permits developers to architect the hardware and software used to implement the applications in an abstract manner. The modeling system defines a set of components used to describe the functionality of an application. The model components are arranged and interconnected to form a scale-independent logical model of the application. Once a logical model is created, the deployment system uses the logical model to automatically deploy various computer/software resources to implement the application. The deployment system converts each of the model components into one or more instances that correspond to physical resources.

7203924, Apr 10, 2007

Apr 30, 2002

10/136680

Jakob Rehof - Redmond WA, US
Sriram K. Rajamani - Bellevue WA, US

Microsoft Corporation - Redmond WA

G06F 9/44

717104, 717103, 717140, 706 46

A system and method for modeling a message-passing program module using type annotations is disclosed. The message-passing program module is constructed with operations that communicate with operations of other message-passing program modules in an asynchronous computing environment. Type annotations are communication protocols that represent processes of input and/or output actions that the program module developer expects each operation to perform or take on a selected set of communication channels. During development of the program module, the type annotations are declared at each operation of the program module. Soundness of the type annotations and whether implementation of the program module conforms to the type annotations is checked using a type system. If the program module is well-typed and well-implemented, the type system abstracts a behavioral module of the message-passing program module that reflects the relevant processes expressed by the type annotations. A model checker determines whether the behavioral module is in fact a valid abstraction of the implementation, and if so, evaluates one or more properties of the behavioral module to render a conclusion about these properties for the program module.

7500232, Mar 3, 2009

Apr 29, 2004

10/834680

Manuvir Das - Kirkland WA, US
Manuel A. Fahndrich - Bellevue WA, US
Jakob Rehof - Redmond WA, US

Microsoft Corporation - Redmond WA

G06F 9/45

717154, 717131

Methods and structures are described that enhance flow analysis for programs. Whereas previous methods are complicated by the presence of function pointers, the present methods present a framework that abstracts function pointers as if they were any other program expressions so as to allow a desired level of analytical decision within a desired duration of analysis. One aspect of the present invention includes inferring types from a program, forming a type graph from the types, and forming a flow graph from the type graph to inhibit imprecise paths so as to enhance context-sensitivity of flow analysis. The methods may be used in any analysis tools such as code browsers and slicing tools.

7574343, Aug 11, 2009

Mar 7, 2006

11/276608

Steven Levi - Redmond WA, US
Galen Hunt - Bellevue WA, US
Aamer Hydrie - Seattle WA, US
Jakob Rehof - Redmond WA, US
Bassam Tabbara - Seattle WA, US
Robert Welland - Seattle WA, US

Microsoft Corporation - Redmond WA

G06F 17/50
G06F 7/62

703 13

A modeling system permits developers of applications for distributed computer system, such as those used in server data centers or Internet data centers (IDCs), to architect their hardware and software in an abstract manner. The modeling system defines a set of components that represent abstract functional operations of the application that will eventually be physically implemented by one or more computers and one or more software programs executing on the computers. Associated with the model components is a schema that dictates how the functional operations are to be specified. From the model components, the developers can create logical, scale-independent models of the applications that may be implemented by the distributed computer system. The application is scale-independent in that the application is invariant in respect to the number of computers and software programs that my eventually be used to implement it. The application may subsequently be converted to a physical blueprint that specifies the number and type of hardware/software resources and the physical layout of the distributed computer system.

7647587, Jan 12, 2010

Nov 24, 2004

10/996730

Todd B. Knoblock - Woodinville WA, US
Jakob Rehof - Redmond WA, US

Microsoft Corporation - Redmond WA

G06F 9/45

717151, 717118, 717148, 717154

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.