Microsoft Technology Licensing, LLC

Weide Zhong

Robert G Hawking

Allan Folting

Tigran Hayrapetyan

Sumit Gulwani

Benjamin Zorn

Charles David Ellis

Robert C Collie

Juha P Niemisto

Rishabh Singh

Andrew James Becker

Matthew John Androski

Simon Peyton-Jones

Joseph M Chirilov

Micah James Myerscough

Dany Rouhana

Xiaohui Pan

Toshiharu Kawai

Emily Anne Schultz

Systems, methods, and software are disclosed herein for maintain the responsiveness of a user interface to an application. In an implementation, a synchronous operation is commenced on a main thread of an application. The application monitors for a request by an additional thread to interrupt the synchronous operation in favor of an asynchronous operation. The synchronous operation is canceled in response to the request and is retried after completing the asynchronous operation.

Maintaining the responsiveness of a user interface while performing a synchronous operation

A program creation system is described which generates sets of subprograms for respective input-output examples. The program creation system then groups the sets into partitions by performing an intersection operation. According to one aspect, the program creation system generates subprograms so as to exclude tokens that are not represented by the input strings of the input-output examples. According to another aspect, the program creation system first generates the subprograms without attempting to generate loop-type expressions. If this operation produces unsatisfactory results, the program creation system repeats its processing, this time including loop-type expressions. According to another aspect, the program creation system performs the grouping operation using an expedited graph-intersection operation. According to another aspect, the program creation system ranks programs (which are created based on the results of the grouping operation) based on the presence of preferred features found in the programs.

Expedited techniques for generating string manipulation programs

Methods, systems, and computer program products dynamically filter an aggregate report based on values resulting from one or more filters previously applied to the aggregate report. A method involves maintaining a collection of filters to be applied in a designated evaluation order to the aggregate report, applying a first filter to the aggregate report, and evaluating values in the aggregate report to produce aggregate values resulting from applying the first filter. The method also involves applying a next filter to the aggregate report and evaluating the aggregate values in the aggregate report resulting from applying the first filter therein producing aggregate values resulting from applying the next filter to the aggregate report. Additionally, the method involves displaying the aggregate report wherein evaluating values resulting from previously applying any filter to the aggregate report involves evaluating visual values displayed in the aggregate report after each previous filter has been applied.

Dynamically filtering aggregate reports based on values resulting from one or more previously applied filters

The present invention relates to a new type of structured name within a spreadsheet program that allows users to refer to tables, columns of data within tables, headers of tables, totals from tables, PivotTables&#xae;, and portions of PivotTable&#xae; data by the data's headers. Embodiments of the present invention comprise a method for referring to a set of data that comprises receiving one or more semantic designations, wherein the one or more semantic designations name a set of context information that describes one or more items of data in a data structure, automatically creating a structural reference, and associating the context information with the structural reference. Other embodiments of the present invention relate to an interaction with a user interface for displaying on a display device a structural reference to data in a spreadsheet that comprises receiving one or more semantic designations from the user that refer to one or more elements of the data structure, creating a structural reference to the elements of the data structure, and displaying the structural reference as a collection of the one or more semantic designations.

Method and implementation for referencing of dynamic data within spreadsheet formulas

Growing community of inventors

Sammamish, WA, United States of America

Weide Zhong