Uber Technologies, Inc.

Microsoft Technology Licensing, LLC

Juncao Li

Gang Cheng

Jason Chionh

Jonathan Kantrowitz

Oren Freiberg

Vladimir A Levin

Jakob Frederik Lichtenberg

Markus W Mielke

Hyuk Joon Kwon

Vikas Pabreja

Remy L De Weduwe

Nathan L Deisinger

A system can receive user data from a computing device of a user. Based on the user data, the system can determine that the user will utilize a transport service to arrive at a destination location at a specified time. Prior to the specified time, the system can monitor transport service conditions within a region that includes a current location of the user, and determine a service request time for the user based at least in part on the transport service conditions. The system then automatically generates the service request for the user at the service request time to match the user to a transport provider.

Dynamic scheduling system for service requests

A computer system can receive user data from a computing device of a user, and based on the user data, determine that the user will utilize a transport service to arrive at a destination location at a specified time. The system can monitor transport provider availability within a proximity of a current location of the user prior to the specified time. The system can then determine a service request time for the user based at least in part on the transport provider availability, and automatically generate the service request for the user at the service request time to match the user to a transport provider.

Dynamic scheduling system for planned service requests

A computer system receives user data from a computing device of a user and determines that the user will utilize a transport service to arrive at a destination location at a specified time. The computer system automatically triggers, without user input, a service request for the user by monitoring transport provider availability within a proximity of a current location of the user prior to the specified time, and determines a service request time for the user based on the transport provider availability. The computer system then generates the service request for the scheduled user event based on the service request time.

A computer system monitors a set of computing resources of a user to determine a planned user event, as well as a set of service parameters for the planned user event. The computer system may further schedule a service request for the planned user event, based at least in part on the event location. Additionally, the computer system may perform an action on behalf of the user with respect to initiating the service request at a scheduled time.

Systems and methods are described for verifying functionality of a computing device. A set of rules are sent to a computing device identifying a device driver. Data is received from the one device that is indicative of collected driver data of the computing device. The data is collected by a driver verifier function executing on the computing device. The driver verifier function is configured to capture information associated with the identified device driver identified by the set of rules. The received data is parsed to categorize the data with previously collected driver data of other computing devices. The data is categorized based on attributes of the collected driver data. The categorized data is provided for analysis of the driver health on the computing device.

Device driver verification

Systems and methods are described for verifying functionality of a computing device. Rules are received that are usable to configure a driver verifier function to capture information associated with a device driver identified by the rules. The configured driver verifier function is run on a computing device. The information is captured in response to driver conditions identified by the rules. The computing device is allowed to continue operation when the driver condition includes an error condition of the identified device driver. A communication is initiated to transmit the captured information to a driver verification analysis service.

Device driver telemetry

A stateful rules verification platform is described that support timed state transitions. The verification platform implements a specification language to provide a formal definition for rules used to test target systems having a central module that provides APIs ('API provider') and applications ('API clients') that use the APIs. Rules may be defined in terms of transitions on state elements associated with interactions between API providers and API clients. The rules defined in accordance with the specification language enable run-time verification in which calls may be intercepted and run-time code to implement checks may automatically be generated and injected to test behaviors of the intercepted calls. The same set of rules may also be employed for static verification during compilation. Additionally, the specification language includes constructs to specify timed state transitions for at least some rules that impose time limits on state transitions specified by the rules.

Growing community of inventors

Bellevue, WA, United States of America

Juncao Li