Microsoft Technology Licensing, LLC

Trinabh Gupta

Ratul Mahajan

Amar Phanishayee

Jaeyeon Jung

Srinath T V Setty

Sebastian G Angel

Jonathan D Lee

Rayman Preet Singh

Amar Panishayee

In one embodiment, a service receives a one or more digests to verify a plurality of requests that were performed by a request handler for one or more clients. The digests summarize processing of the plurality of requests using a first contract. The information for the one or more digests is stored in a plurality of blocks in a distributed ledger. A second contract is executed to verify the processing of the plurality of requests. The second contract generates a first set that stores states for reads of values from the data store; generates a second set that stores states for values written to the data store, and verifies the processing by checking states in the first set are a subset of states in the second set.

Verifiable state machines

Techniques and constructs to facilitate data management can provide improved response time and space efficiency for time-series data such as from connected devices. The constructs may enable receiving a stream of time-series data comprising a plurality of objects and a time identification associated with each of the objects. One or more tags are associated with the objects. The constructs may also chunk the stream into a plurality of contiguous chunks, each including a plurality of objects, create an index associating the time identification and the one or more tags, transmit the chunks to a first, remote storage, and then store the index.

Data management for connected devices

Growing community of inventors

Santa Barbara, CA, United States of America

Trinabh Gupta