Microsoft Technology Licensing, LLC

Danny Van Velzen

Henricus Johannes Maria Meijer

Jeffrey Van Gogh

Jonathan E Rivers-Moore

Brian C Beckman

Arungundram C Narendran

Prachi Bora

Benjamin Livshits

Alessandro Catorcini

Amol Shrikrishna Kelkar

Mihaela C Cris

Anders Hejlsberg

Matthew J Warren

Arun Sacheti

Amanda K Silver

Mads Torgersen

Paul Allen Vick, Jr

Peter A Hallam

Cedric Fournet

Dragos A Manolescu

Gavin Mark Bierman

John Wesley Dyer

Kamaljit S Bath

Joseph J Brychell

Harish Venkata Kantamneni

Evgueni Zabokritski

Mark Brian Shields

Nora S Selim

Hagen Green

Robert Eric Lippert

Abhishek Prateek

Ranjan Aggarwal

David Airapetyan

Robert Jervis

Krishnaprasad Vikram

Xavier Bocken

Mikhail Vassiliev

Srikanth R Ravula

Bryan Sullivan

Computer programming is aided by way of automatic code generation, and more specifically generation of deployment code automatically. An application can be analyzed and deployment code, including installation, maintenance (e.g., update/upgrade), and removal (e.g., un-install) code, can be generated as a function of the analysis as well as a particular execution environment.

Code deployment assistance

A workflow is designated for execution across a plurality of autonomous computational entities automatically. Among other things, the cost of computation is balanced with the cost of communication among computational entities to reduce total execution time of a workflow. In other words, a balance is struck between grouping tasks for execution on a single computational entity and segmenting tasks for execution across multiple computational entities.

Distributed workflow execution

A processing system for distributed multi-tier applications is provided. The system includes a server component that executes a replica of a client-side application, where a client component executes the client-side application. The client component captures events from the client-side application and transmits the events to the replica to validate the computational integrity security of the application.

Automatically securing distributed applications

System(s), method(s), and/or technique(s) ('tools') are described that enable a user to open a network-enabled electronic document in either a specific software application associated with the electronic document or a network browser. In some cases the tools do so using a single link. On selection of the link, if the user's computing device has access to the specific software application, the tools may load the electronic document using that application. Or, if the user's computing device does not have access to the specific software application, the tools may render the electronic document with a network browser. In so doing, the tools may make the document available to a larger set of potential users through their browsers, allow users the convenience of accessing the document within a browser, optimize users' experience in working with the document through a specific software application, or provide a simpler opening procedure.

Opening network-enabled electronic documents

A queue can store streams of data acquired from servers asynchronously based upon received data requests and subsequent subscription with respect to one or more data sources/servers. The queue can be managed for subsequent synchronous or asynchronous release of received streams of data, for example.

Mixing synchronous and asynchronous data streams

Secure distributed applications are produced by default upon construction. Mechanisms are provided to address distributed application vulnerabilities (e.g., cross-site scripting, cross-site request forgery, replay attacks. . . ) automatically. These mechanisms are provided in conjunction with a tier split component that breaks up an application for execution across multiple contexts or tiers. As a result, any application that is tier split is protected from security vulnerabilities by default without any intervention on the part of a developer.

Security by construction for distributed applications

A system and method for controlling the execution of notifications in a computer system with multiple notification contexts. A RunOn operator enables context hopping between notification contexts. Push-based stream operators optionally perform error checking to determine if notifications combined into a push-based stream share a common notification context. Context boxes group together notification creators and associate their notifications with a common scheduler and notification context. Operators employ a composition architecture, in which they receive one or more push-based streams and produce a transformed push-based stream that may be further operated upon. Components may be used in combinations to implement various policies, including a strict policy in which all notifications are scheduled in a common execution context, a permissive policy that provides programming flexibility, and a hybrid policy that combines flexibility with error checking.

Execution context control

A compositional application programming interface (API) permits non-sequential construct declaration independent of other API calls. A wrapper is applied to an imperative API to provide a compositional interface that enables arbitrary and autonomous construct declaration. Additionally, a literal syntax (e.g., code literals, graphic literals . . . ) affords a convenient declaration mechanism for such constructs.

Compositional application programming interface and literal syntax

Mechanisms are afforded for supporting cross platform widgets. A generic widget can be converted into a specialized widget of a corresponding platform. Dually, a specialized widget can be generalized to a generic widget for subsequent deployment on the same or different host. Furthermore, support is provided for compositional widgets across platforms.

Cross platform compositional widgets

Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.

Type inference for object-oriented languages

Systems and/or methods are described that enable a data-driven action associated with altering a data instance of a network form without altering and/or having access to the data instance. These systems and/or methods, in one embodiment, render a result of a data-driven action for a network form without transforming the network form's data instance. In another embodiment, the systems and/or methods map a data-driven action to a view-centric logical representation of the electronic form.

Data-driven actions for network forms

Digital signatures having an embedded view of signed data that lock the signed data but permit it to be repurposed are described. One of these digital signatures can be repurposed for signature by others, such as co-signers or counter-signers. Another of these digital signatures includes embedded information sufficient to recreate the embedded view using the signed data. A method for building a digital signature is also described that permits signing different parts of an electronic document.

Digital signatures with an embedded view

Growing community of inventors

Redmond, WA, United States of America

Danny Van Velzen