Patents by Inventor Raymond Ying Chau Mak

Raymond Ying Chau Mak 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).

  • Diagnosing alias violations in memory access commands in source code
    Patent number: 8839218
    Abstract: A computer implemented method, apparatus, and computer usable program code for facilitating debugging of source code. A set of indirect memory references is identified in the source code and points-to records are generated for the source code. The set of indirect memory references are validated using the points-to records and an aliasing rule to identify zero or more indirect memory references having a potential aliasing problem. In a case in which the zero or more indirect memory references comprise at least one indirect memory reference, the at least one indirect memory reference is in the set of indirect memory references. Responsive to a determination that the zero or more indirect memory references comprise at least one indirect memory reference, a report is generated identifying at least one location in the source code associated with the at least one indirect memory reference. The report is stored.
    Type: Grant
    Filed: June 4, 2007
    Date of Patent: September 16, 2014
    Assignee: International Business Machines Corporation
    Inventors: Christopher E. Bowler, Raymond Ying Chau Mak, Sean Douglas Perry, Ettore Tiotto, Enrique Varillas
  • METHOD OF DIAGNOSING ALIAS VIOLATIONS IN MEMORY ACCESS COMMANDS IN SOURCE CODE
    Publication number: 20080301657
    Abstract: A computer implemented method, apparatus, and computer usable program code for facilitating debugging of source code. A set of indirect memory references is identified in the source code and points-to records are generated for the source code. The set of indirect memory references are validated using the points-to records and an aliasing rule to identify zero or more indirect memory references having a potential aliasing problem. In a case in which the zero or more indirect memory references comprise at least one indirect memory reference, the at least one indirect memory reference is in the set of indirect memory references. Responsive to a determination that the zero or more indirect memory references comprise at least one indirect memory reference, a report is generated identifying at least one location in the source code associated with the at least one indirect memory reference. The report is stored.
    Type: Application
    Filed: June 4, 2007
    Publication date: December 4, 2008
    Inventors: Christopher E. Bowler, Raymond Ying Chau Mak, Sean Douglas Perry, Ettore Tiotto, Enrique Varillas