Patents by Inventor Alexandre Oliva

Alexandre Oliva 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: 9176845
    Abstract: A method and system for improving debug information pertaining to user variables using a compiler. The method may include identifying a statement to be removed from its current position in an internal representation of a program by a compiler as part of the compiler optimization, replacing the statement to be removed with a debug annotation, adding references to the debug annotation in subsequent debug expressions referring to the removed statement, and emitting debug location information for a user variable using the debug annotation.
    Type: Grant
    Filed: March 19, 2010
    Date of Patent: November 3, 2015
    Assignee: Red Hat, Inc.
    Inventors: Andrew MacLeod, Alexandre Oliva
  • Patent number: 8516463
    Abstract: A mechanism for allocating statement frontier annotations to source code statements of a software program is disclosed. A method of embodiments of the invention includes generating statement frontier annotations during translation of source code statements of a software program on a computer system. The method further includes allocating the statement frontier annotations to the source code statements, wherein a statement frontier annotation indicates a frontier of a source code statement to which the statement frontier annotation is allocated.
    Type: Grant
    Filed: May 28, 2010
    Date of Patent: August 20, 2013
    Assignee: Red Hat, Inc.
    Inventor: Alexandre Oliva
  • Publication number: 20110296389
    Abstract: A mechanism for allocating statement frontier annotations to source code statements of a software program is disclosed. A method of embodiments of the invention includes generating statement frontier annotations during translation of source code statements of a software program on a computer system. The method further includes allocating the statement frontier annotations to the source code statements, wherein a statement frontier annotation indicates a frontier of a source code statement to which the statement frontier annotation is allocated.
    Type: Application
    Filed: May 28, 2010
    Publication date: December 1, 2011
    Inventor: Alexandre Oliva
  • Publication number: 20110231829
    Abstract: A method and system for improving debug information pertaining to user variables using a compiler. The method may include identifying a statement to be removed from its current position in an internal representation of a program by a compiler as part of the compiler optimization, replacing the statement to be removed with a debug annotation, adding references to the debug annotation in subsequent debug expressions referring to the removed statement, and emitting debug location information for a user variable using the debug annotation.
    Type: Application
    Filed: March 19, 2010
    Publication date: September 22, 2011
    Inventors: Andrew MacLeod, Alexandre Oliva
  • Patent number: 7412710
    Abstract: A software method for obtaining an address of a thread-local variable while executing a computer program is described. The method designates a memory location to store an address of a function. The method, after the computer program starts to run, obtains the address of the thread-local variable by executing a resolver function whose address is stored in the memory location when a module that references the thread-local variable is loaded. The resolver can be a lazy resolver function or other resolver functions optimized for specific modules or variables.
    Type: Grant
    Filed: November 12, 2004
    Date of Patent: August 12, 2008
    Assignee: Red Hat, Inc.
    Inventor: Alexandre Oliva
  • Publication number: 20060112374
    Abstract: A software method for obtaining an address of a thread-local variable while executing a computer program is described. The method designates a memory location to store an address of a function. The method, after the computer program starts to run, obtains the address of the thread-local variable by executing a resolver function whose address is stored in the memory location when a module that references the thread-local variable is loaded. The resolver can be a lazy resolver function or other resolver functions optimized for specific modules or variables.
    Type: Application
    Filed: November 12, 2004
    Publication date: May 25, 2006
    Applicant: Red Hat, Inc.
    Inventor: Alexandre Oliva