Patents by Inventor Mark Ivan M. DOMINGO

Mark Ivan M. DOMINGO 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).

  • System and method for providing automated computer language translation and verification
    Patent number: 9804946
    Abstract: Systems, methods, and other embodiments are disclosed that are configured to verify the translation of a program from a first programming language to a second programming language. In one embodiment, a first program is executed within a first thread of a process in parallel with a second program within a second thread of the process. A first source code of the first program is written in the first programming language, and a second source code of the second program is a translation of the first source code of the first program to the second programming language based on a translation process. Statement flow and program variables are compared at equivalent lines of code between the first program and the second program, during execution of the two programs in parallel, to generate execution results. The translation process is transformed, based on the execution results, facilitating correcting of the second source code.
    Type: Grant
    Filed: May 27, 2015
    Date of Patent: October 31, 2017
    Assignee: ORACLE INTERNATIONAL CORPORATION
    Inventors: Brian P. Conlon, Robert D. O'Connell, Jr., Mark Ivan M. Domingo
  • SYSTEM AND METHOD FOR PROVIDING AUTOMATED COMPUTER LANGUAGE TRANSLATION AND VERIFICATION
    Publication number: 20160350204
    Abstract: Systems, methods, and other embodiments are disclosed that are configured to verify the translation of a program from a first programming language to a second programming language. In one embodiment, a first program is executed within a first thread of a process in parallel with a second program within a second thread of the process. A first source code of the first program is written in the first programming language, and a second source code of the second program is a translation of the first source code of the first program to the second programming language based on a translation process. Statement flow and program variables are compared at equivalent lines of code between the first program and the second program, during execution of the two programs in parallel, to generate execution results. The translation process is transformed, based on the execution results, facilitating correcting of the second source code.
    Type: Application
    Filed: May 27, 2015
    Publication date: December 1, 2016
    Inventors: Brian P. CONLON, Robert D. O'CONNELL, JR., Mark Ivan M. DOMINGO