Google Inc.

Greg Miller

Michael D Pinkerton

David I MacLachlan

Thomas E Van Lenten

Amanda Elwell Walker

Alex B Harper

One embodiment of the present invention provides a system that uses static analysis to determine program correctness for a program written in a dynamic programming language. During operation, the system receives executable code for a program written in the dynamic programming language. The system identifies a program method called in the executable code, and determines if the program method is implemented for the executable code. If not, the system signals that the program method is not implemented for the executable code.

Statically analyzing program correctness for a dynamic programming language

One embodiment of the present invention provides a system that authenticates requests between tasks in an operating system. During operation, a first task prepares a request to perform an operation in a second task. In doing so, the first task attaches a credential to the request, and then a trusted entity transfers the request and the credential to the second task. Next, the second task determines whether the credential is valid. If the credential is valid, the second task determines from the credential whether the first task is authorized to request the operation, and, if so, proceeds to perform the operation.

Method and apparatus for authenticating a request between tasks in an operating system

One embodiment of the present invention provides a system that controls accesses to revisions of documents in the presence of a multi-user permissions and ownership model. During operation, the system receives a request to on behalf of a user to access a revision of a document. If the request is directed to a most-recent revision of an existing document, the system uses the multi-user permissions and ownership model to control access to the revision. Otherwise, if the request is directed to a previous revision of the document, the system grants access to the revision only if the user was the owner of the document at the time of the revision.

Growing community of inventors

San Jose, CA, United States of America

Greg Miller