Patents by Inventor Jonathan de Halleux

Jonathan de Halleux 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).

  • Graphical user interface for exploring source code execution behavior
    Patent number: 8453106
    Abstract: Described herein are interactive graphical user interfaces that visualize execution behavior of source code together with theoretical execution behavior of the source code together with the source code itself. Structure of the source code is analyzed to determine theoretical execution behavior of the source code. Thereafter, symbolic execution of the source code is undertaken to output an execution trace. The execution trace is shown together with the theoretical execution behavior of the source code.
    Type: Grant
    Filed: December 17, 2010
    Date of Patent: May 28, 2013
    Assignee: Microsoft Corporation
    Inventors: Robert Anthony DeLine, Jonathan de Halleux, Nikolai Tillmann
  • GRAPHICAL USER INTERFACE FOR EXPLORING SOURCE CODE EXECUTION BEHAVIOR
    Publication number: 20120159452
    Abstract: Described herein are interactive graphical user interfaces that visualize execution behavior of source code together with theoretical execution behavior of the source code together with the source code itself. Structure of the source code is analyzed to determine theoretical execution behavior of the source code. Thereafter, symbolic execution of the source code is undertaken to output an execution trace. The execution trace is shown together with the theoretical execution behavior of the source code.
    Type: Application
    Filed: December 17, 2010
    Publication date: June 21, 2012
    Applicant: Microsoft Corporation
    Inventors: Robert Anthony DeLine, Jonathan de Halleux, Nikolai Tillmann