Patents by Inventor Bart Jacobs

Bart Jacobs 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).

  • Method for specifying and verifying multi-threaded object-oriented programs with invariants
    Patent number: 7774787
    Abstract: Various new and non-obvious systems and methods for ensuring within a multi-threaded environment that object fields hold legal values are disclosed. One of the disclosed embodiments is a method for a thread locking the top object of an object hierarchy. The thread then gains ownership of the locked object and any children of the locked object, by successively unpacking child objects, allowing the thread to write to any unpacked object field. By owning the top hierarchical object, the thread also achieves transitive ownership to any descendants of the object, allowing the thread to read any object fields which it transitively owns. When a thread locks an object within this exemplary embodiment all other threads are denied access to the locked object and to any descendants of the locked object.
    Type: Grant
    Filed: January 11, 2005
    Date of Patent: August 10, 2010
    Assignee: Microsoft Corporation
    Inventors: K. Rustan M. Leino, Wolfram Schulte, Bart Jacobs
  • Method for specifying and verifying multi-threaded object-oriented programs with invariants
    Publication number: 20060155905
    Abstract: Various new and non-obvious systems and methods for ensuring within a multi-threaded environment that object fields hold legal values are disclosed. One of the disclosed embodiments is a method for a thread locking the top object of an object hierarchy. The thread then gains ownership of the locked object and any children of the locked object, by successively unpacking child objects, allowing the thread to write to any unpacked object field. By owning the top hierarchical object, the thread also achieves transitive ownership to any descendants of the object, allowing the thread to read any object fields which it transitively owns. When a thread locks an object within this exemplary embodiment all other threads are denied access to the locked object and to any descendants of the locked object.
    Type: Application
    Filed: January 11, 2005
    Publication date: July 13, 2006
    Applicant: Microsoft Corporation
    Inventors: K. Leino, Wolfram Schulte, Bart Jacobs
  • Precious stone
    Patent number: D493744
    Type: Grant
    Filed: October 17, 2003
    Date of Patent: August 3, 2004
    Inventor: Bart Jacobs