Patents by Inventor Gabriele Giuseppini

Gabriele Giuseppini 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: 8095912
    Abstract: Systems and methods for testing a context-free language compiler. Given a description of a context-free grammar including a set of production rules, a test component applies the grammar description to generate one or more valid test strings of terminal symbols. A value generation component may replace one or more terminal symbols in the set of test strings with values appropriate for the class of the terminal symbol. The resulting set of test strings may be individually applied to a compiler, which returns a response based upon the applied test string that may be used to determine if the compiler is operating as expected. The set of test strings may be generated using every production rule of the given context-free grammar description. In addition to valid test strings, a set of invalid test strings may be generated by making use of a set of invalid production rules while generating test strings.
    Type: Grant
    Filed: October 6, 2005
    Date of Patent: January 10, 2012
    Assignee: Microsoft Corporation
    Inventor: Gabriele Giuseppini
  • Patent number: 7606814
    Abstract: A method of tracing data on a network for a Web request that detects events of the Web request as the Web request is serviced. The method provides a unique identifier (ID) for the Web request. The ID is associated with all events for the Web request in a trace log. When such events occur in the servicing of the Web request, each event is recorded with the ID of the Web request in a trace log. The trace log can be accessed via the ID to debug a Web request service failure.
    Type: Grant
    Filed: March 11, 2004
    Date of Patent: October 20, 2009
    Assignee: Microsoft Corporation
    Inventors: Eric D. Deily, Ming Lu, Gabriele Giuseppini, Melur Raghuraman, Jaroslav Dunajsky
  • Publication number: 20070083360
    Abstract: Systems and methods for testing a context-free language compiler are provided. Given a description of a context-free grammar including a set of production rules, a test component applies the grammar description to generate one or more valid test strings of terminal symbols (a.k.a. tokens). The set of test strings may be modified by a value generation component, which uses one or more value generation functions to replace one or more terminal symbols in the set of test strings with values appropriate for the class of the terminal symbol. A mapping may be provided to assign a particular value generation function to a particular class of terminal symbols. The resulting set of test strings may be individually applied to a compiler, which returns a response based upon the applied test string. Each response may then be compared to an expected response to determine if the compiler is operating as expected.
    Type: Application
    Filed: October 6, 2005
    Publication date: April 12, 2007
    Applicant: Microsoft Corporation
    Inventor: Gabriele Giuseppini
  • Publication number: 20050203952
    Abstract: A method of tracing data on a network for a Web request that detects events of the Web request as the Web request is serviced. The method provides a unique identifier (ID) for the Web request. The ID is associated with all events for the Web request in a trace log. When such events occur in the servicing of the Web request, each event is recorded with the ID of the Web request in a trace log. The trace log can be accessed via the ID to debug a Web request service failure.
    Type: Application
    Filed: March 11, 2004
    Publication date: September 15, 2005
    Inventors: Eric Deily, Ming Lu, Gabriele Giuseppini, Melur Raghuraman, Jaroslav Dunajsky
  • Publication number: 20040254919
    Abstract: Systems and methods for parsing an activity log are described. In one aspect, a query against logged data is received. The query is based on a log parser grammar that has been designed to parse activity logs of multiple different data formats. Responsive to receiving the query, the logged data is parsed to generate query results. Output data is created from the query results.
    Type: Application
    Filed: June 13, 2003
    Publication date: December 16, 2004
    Applicant: MICROSOFT CORPORATION
    Inventor: Gabriele Giuseppini