Patents by Inventor Dwayne REEVES
Dwayne REEVES has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 9996704Abstract: Systems and methods for protecting the privacy of users by controlling access to the users' data. In particular, some embodiments provide for a higher-level declarative language for expressing privacy policies which can be verified using a computer-aided verification tool. The verification tool uses the expressed privacy policies along with language-level assumptions and assertions in the verification process. For example, high-level models of the privacy policies can be reduced to a simpler verification representation (e.g., a Boolean representation) based on a set of assertions. This verification representation can then be submitted to a constraint solver (e.g., Satisfiability Modulo Theories solver) for verification.Type: GrantFiled: March 5, 2015Date of Patent: June 12, 2018Assignee: Facebook, Inc.Inventors: Stephen Charles Heise, Jean Yang, Dwayne Reeves, Yiding Jia
-
Patent number: 9922123Abstract: Technology for optimizing policy evaluation is disclosed. A policy may include an ordered rule set. When evaluated, the highest priority rule in the order that does not skip may control the outcome of the policy. Rules within a policy may have associated costs and an associated probability of not skipping. The rules of a policy may not need to be executed in a particular order for a system to determine the correct evaluation of the policy and groups of rules, or “batches,” may be run simultaneously. Technology is disclosed to optimize policy evaluation by creating batches and orderings of those batches which have a lower expected cost than other ordered sets of batches. The expected cost for each ordered set of batches may be calculated based on: rule costs, probabilities associated with one or more rules, the organization of the rules into batches, and the ordering of batches within sets.Type: GrantFiled: January 10, 2014Date of Patent: March 20, 2018Assignee: Facebook, Inc.Inventors: Raylene Yung, Maria S. Pimenova, Daniel Schafer, Dwayne Reeves, Wendy Mu, Kendall Hopkins
-
Publication number: 20150310225Abstract: Systems and methods for protecting the privacy of users by controlling access to the users' data. In particular, some embodiments provide for a higher-level declarative language for expressing privacy policies which can be verified using a computer-aided verification tool. The verification tool uses the expressed privacy policies along with language-level assumptions and assertions in the verification process. For example, high-level models of the privacy policies can be reduced to a simpler verification representation (e.g., a Boolean representation) based on a set of assertions. This verification representation can then be submitted to a constraint solver (e.g., Satisfiability Modulo Theories solver) for verification.Type: ApplicationFiled: March 5, 2015Publication date: October 29, 2015Inventors: Stephen Charles Heise, Jean Yang, Dwayne Reeves, Yiding Jia
-
Publication number: 20150200816Abstract: Technology for optimizing policy evaluation is disclosed. A policy may include an ordered rule set. When evaluated, the highest priority rule in the order that does not skip may control the outcome of the policy. Rules within a policy may have associated costs and an associated probability of not skipping. The rules of a policy may not need to be executed in a particular order for a system to determine the correct evaluation of the policy and groups of rules, or “batches,” may be run simultaneously. Technology is disclosed to optimize policy evaluation by creating batches and orderings of those batches which have a lower expected cost than other ordered sets of batches. The expected cost for each ordered set of batches may be calculated based on: rule costs, probabilities associated with one or more rules, the organization of the rules into batches, and the ordering of batches within sets.Type: ApplicationFiled: January 10, 2014Publication date: July 16, 2015Inventors: Raylene Yung, Maria S. Pimenova, Daniel Schafer, Dwayne Reeves, Wendy Mu, Kendall Hopkins
-
Patent number: 9009780Abstract: Systems and methods for protecting the privacy of users by controlling access to the users' data. In particular, some embodiments provide for a higher-level declarative language for expressing privacy policies which can be verified using a computer-aided verification tool. The verification tool uses the expressed privacy policies along with language-level assumptions and assertions in the verification process. For example, high-level models of the privacy policies can be reduced to a simpler verification representation (e.g., a Boolean representation) based on a set of assertions. This verification representation can then be submitted to a constraint solver (e.g., Satisfiability Modulo Theories solver) for verification.Type: GrantFiled: March 15, 2013Date of Patent: April 14, 2015Assignee: Facebook, Inc.Inventors: Stephen Charles Heise, Jean Yang, Dwayne Reeves, Yiding Jia
-
Publication number: 20140282837Abstract: Systems and methods for protecting the privacy of users by controlling access to the users' data. In particular, some embodiments provide for a higher-level declarative language for expressing privacy policies which can be verified using a computer-aided verification tool. The verification tool uses the expressed privacy policies along with language-level assumptions and assertions in the verification process. For example, high-level models of the privacy policies can be reduced to a simpler verification representation (e.g., a Boolean representation) based on a set of assertions. This verification representation can then be submitted to a constraint solver (e.g., Satisfiability Modulo Theories solver) for verification.Type: ApplicationFiled: March 15, 2013Publication date: September 18, 2014Applicant: Facebook, Inc.Inventors: Stephen Charles Heise, Jean Yang, Dwayne Reeves, Yiding Jia
-
Publication number: 20140059375Abstract: Embodiments include a recovery system, a computer-readable storage medium, and a method of recreating a state of a datacenter. The embodiments include a plurality of program modules that is executable by a processor to gather metadata from a first datacenter that includes at least one virtual machine (VM), wherein the metadata includes data representative of a virtual infrastructure of the first datacenter. The program modules are also executable by the processor to recreate a state of the first datacenter within a second datacenter using the metadata upon a determination that a failure occurred within the first datacenter, and to recreate the VM within the second datacenter.Type: ApplicationFiled: August 23, 2012Publication date: February 27, 2014Applicant: VMware, Inc.Inventors: Glenn Bruce MCELHOE, Hoki TAM, Dwayne REEVES, Orran KRIEGER, Philip MCGACHEY