Patents by Inventor Kevin Wagner Halverson

Kevin Wagner Halverson 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).

  • Compiler platform for test method
    Patent number: 10620922
    Abstract: A computing device is provided, including a display and a processor. The processor may be configured to execute a source code authoring application program. The processor may be further configured to output a graphical user interface (GUI) of the source code authoring application program for display on the display. The processor may be further configured to receive source code including one or more code instructions at an editor window included in the GUI. The editor window may provide real-time mark-up of the source code. At a compiler platform, the processor may be further configured to determine that the source code includes at least one test method based on at least one syntactic test method indicator or symbolic test method indicator included in the source code. The processor may be further configured to output a notification of the at least one test method for display on the display.
    Type: Grant
    Filed: May 3, 2018
    Date of Patent: April 14, 2020
    Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
    Inventors: Manish Kumar Jayaswal, Ghanashyam Chandrasekhar Namboodiripad, Artur Zbigniew Spychaj, En-Shuo Hsu, Peter Bern Waldschmidt, Kevin Wagner Halverson, John Austin Fleisher, Gen Lu
  • COMPILER PLATFORM
    Publication number: 20190339951
    Abstract: A computing device is provided, including a display and a processor. The processor may be configured to execute a source code authoring application program. The processor may be further configured to output a graphical user interface (GUI) of the source code authoring application program for display on the display. The processor may be further configured to receive source code including one or more code instructions at an editor window included in the GUI. The editor window may provide real-time mark-up of the source code. At a compiler platform, the processor may be further configured to determine that the source code includes at least one test method based on at least one syntactic test method indicator or symbolic test method indicator included in the source code. The processor may be further configured to output a notification of the at least one test method for display on the display.
    Type: Application
    Filed: May 3, 2018
    Publication date: November 7, 2019
    Applicant: Microsoft Technology Licensing, LLC
    Inventors: Manish Kumar JAYASWAL, Ghanashyam Chandrasekhar NAMBOODIRIPAD, Artur Zbigniew SPYCHAJ, En-Shuo HSU, Peter Bern WALDSCHMIDT, Kevin Wagner HALVERSON, John Austin FLEISHER, Gen LU
  • Compiler in a managed application context
    Patent number: 8479178
    Abstract: A batch compiler is employed to enable compilation of code provided at runtime. A managed application receives code during execution and invokes the compiler to transform the code to enable it to execute within the context of the receiving application. Among other things, employment of a batch compiler preserves investments made to such compilers while also opening up new scenarios in application scripting and/or hosting that are otherwise unavailable.
    Type: Grant
    Filed: June 27, 2008
    Date of Patent: July 2, 2013
    Assignee: Microsoft Corporation
    Inventors: Avner Y. Aharoni, Henricus Johannes Maria Meijer, Timothy Yat Tim Ng, Amanda K. Silver, Scott Daniel Wisniewski, Kevin Wagner Halverson, David N. Schach, Aleksey V. Tsingauz, Paul A. Vick
  • COMPILER IN A MANAGED APPLICATION CONTEXT
    Publication number: 20090328012
    Abstract: A batch compiler is employed to enable compilation of code provided at runtime. A managed application receives code during execution and invokes the compiler to transform the code to enable it to execute within the context of the receiving application. Among other things, employment of a batch compiler preserves investments made to such compilers while also opening up new scenarios in application scripting and/or hosting that are otherwise unavailable.
    Type: Application
    Filed: June 27, 2008
    Publication date: December 31, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Avner Y. Aharoni, Henricus Johannes Maria Meijer, Timothy Yat Tim Ng, Amanda K. Silver, Scott Daniel Wisniewski, Kevin Wagner Halverson, David N. Schach, Aleksey V. Tsingauz, Paul A. Vick