Conviva Inc.

Ntt Docomo, Inc.

Other

George C Necula

Aditya Ravikumar Ganjam

Ion Stoica

Ningning Hu

Peter S Lee

Hui Joyce Zhang

Jibin Zhan

Ajay Chander

Nayeem Islam

Asad K Awan

Karthik K Lakshminarayanan

Ryan J Huebsch

David Espinosa

Peter Lee

Controlling dynamic reporting of content distribution performance information from a client is disclosed. The content distribution performance information associated with the delivery of content is generated. The content distribution performance information is reported to a content distribution monitor at a first reporting level. In response to a triggering event, the first reporting level is changed to a second reporting level. Additional content distribution performance information is reported according to the second reporting level.

Dynamic client logging and reporting

Improving a content player is disclosed. A monitoring module is configured to obtain status information associated with a content player. The monitoring module is loaded. Status information associated with the content player is obtained. A report of at least a portion of the obtained status information is made to a monitoring service.

Augmenting the functionality of a content player

Monitoring performance data associated with a content player is disclosed. Information relating to the state of a content player is obtained on a time driven basis. At least a portion of the obtained information is reported, via a communications interface, to a content distribution monitoring server.

Monitoring the performance of a content player

A method and apparatus is disclosed herein for generating and solving constraints. In one embodiment, the method comprises modifying program code by inserting one or more dynamic annotations having unsolved variables, generating one or more constraints based on the one or more dynamic annotations using a verifier, solving the one or more generated constraints; and modifying the program code by inserting a dynamic annotation in place of an annotation containing an unsolved variable.

Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints

A method and apparatus for performing checks on program code. In one embodiment, the method comprises receiving program code and statically verifying information about one or more dynamic checks in the program code, where each of the one or more dynamic checks in the program code checks an operation in the program code.

Performing checks on the resource usage of computer programs

A computer-implemented method of verifying that untrusted software supplied by a code producer is safe to execute by a code consumer. The method includes the step of defining a safety policy that specifies safe operating conditions of the untrusted software on the code consumer. The method also includes the steps of generating a safety predicate for the untrusted software that determines if execution by the code consumer of the untrusted software will violate said safety policy and generating a safety proof that proves that said safety predicate is valid. The method further includes the step of validating the untrusted software for execution based on said safety proof and said safety predicate.

Growing community of inventors

Oakland, CA, United States of America

George C Necula