Patents by Inventor Mathieu Verbaere

Mathieu Verbaere 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: 8554782
    Abstract: A novel system, computer readable storage medium and method for creating re-usable queries over complex data including hierarchies, trees and graphs is described. This is achieved by an object-oriented query language, where a class is a logical property of a data item, and inheritance is implication between such properties. Virtual method calls execute all relevant method implementations in most specific classes. Expressions can be multi-valued, thus avoiding the need for naming intermediate results. All constructs closely follow the syntax of mainstream object-oriented languages like Java.
    Type: Grant
    Filed: March 19, 2012
    Date of Patent: October 8, 2013
    Assignee: Semmle Limited
    Inventors: Mathieu Verbaere, Oege De Moor, Elnar Hajiyev
  • Patent number: 8332385
    Abstract: A method and system is provided for computing an approximation of the results of a query. The approximation represents a superset of all possible results, by computing a set of records of types (as opposed to a set of records of values, which is the normal result of a query). This is different from conventional systems, which typically infer types for each field individually. For each record of types, one may also keep track of equalities of fields to improve the precision of the approximation. The approximation can be used to detect erroneous parts of queries that always return an empty result, regardless of the contents of the data source. Furthermore, the same approximation is also useful in performing optimizations: first, by eliminating parts of procedure calls that are guaranteed to be irrelevant to the calling context, and second, by eliminating unnecessary type tests in the query.
    Type: Grant
    Filed: March 11, 2009
    Date of Patent: December 11, 2012
    Assignee: Semmle Limited
    Inventors: Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere, Max Schaefer
  • Publication number: 20120239678
    Abstract: A novel system, computer readable storage medium and method for creating re-usable queries over complex data including hierarchies, trees and graphs is described. This is achieved by an object-oriented query language, where a class is a logical property of a data item, and inheritance is implication between such properties. Virtual method calls execute all relevant method implementations in most specific classes. Expressions can be multi-valued, thus avoiding the need for naming intermediate results. All constructs closely follow the syntax of mainstream object-oriented languages like Java.
    Type: Application
    Filed: March 19, 2012
    Publication date: September 20, 2012
    Applicant: SEMMLE LIMITED
    Inventors: Mathieu VERBAERE, Oege DE MOOR, Elnar HAJIYEV
  • Patent number: 8150866
    Abstract: A system, computer readable storage medium and method for creating re-usable queries over complex data including hierarchies, trees and graphs is described. This is achieved by an object-oriented query language, where a class is a logical property of a data item, and inheritance is implication between such properties. Virtual method calls execute all relevant method implementations in most specific classes. Expressions can be multi-valued, thus avoiding the need for naming intermediate results. All constructs closely follow the syntax of mainstream object-oriented languages like Java.
    Type: Grant
    Filed: January 7, 2009
    Date of Patent: April 3, 2012
    Assignee: Semmle Limited
    Inventors: Mathieu Verbaere, Oege De Moor, Elnar Hajiyev
  • Publication number: 20090234801
    Abstract: A method and system is provided for computing an approximation of the results of a query. The approximation represents a superset of all possible results, by computing a set of records of types (as opposed to a set of records of values, which is the normal result of a query). This is different from conventional systems, which typically infer types for each field individually. For each record of types, one may also keep track of equalities of fields to improve the precision of the approximation. The approximation can be used to detect erroneous parts of queries that always return an empty result, regardless of the contents of the data source. Furthermore, the same approximation is also useful in performing optimizations: first, by eliminating parts of procedure calls that are guaranteed to be irrelevant to the calling context, and second, by eliminating unnecessary type tests in the query.
    Type: Application
    Filed: March 11, 2009
    Publication date: September 17, 2009
    Applicant: Semmle Limited
    Inventors: Oege De Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere, Max Schaefer
  • Publication number: 20090177640
    Abstract: A system, computer readable storage medium and method for creating re-usable queries over complex data including hierarchies, trees and graphs is described. This is achieved by an object-oriented query language, where a class is a logical property of a data item, and inheritance is implication between such properties. Virtual method calls execute all relevant method implementations in most specific classes. Expressions can be multi-valued, thus avoiding the need for naming intermediate results. All constructs closely follow the syntax of mainstream object-oriented languages like Java.
    Type: Application
    Filed: January 7, 2009
    Publication date: July 9, 2009
    Applicant: Semmle Limited
    Inventors: MATHIEU VERBAERE, Oage de Moor, Elnar Hajiyev
  • Patent number: RE46537
    Abstract: A novel system, computer readable storage medium and method for creating re-usable queries over complex data including hierarchies, trees and graphs is described. This is achieved by an object-oriented query language, where a class is a logical property of a data item, and inheritance is implication between such properties. Virtual method calls execute all relevant method implementations in most specific classes. Expressions can be multi-valued, thus avoiding the need for naming intermediate results. All constructs closely follow the syntax of mainstream object-oriented languages like Java.
    Type: Grant
    Filed: October 8, 2015
    Date of Patent: September 5, 2017
    Inventors: Mathieu Verbaere, Oege de Moor, Elnar Hajiyev