Patents by Inventor Jefferson King

Jefferson King 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: 10223082
    Abstract: A code analysis system is described herein that provides code completion for programming languages that include elements that are not statically discoverable and that provides results in a predictable period that is acceptable for an interactive user interface. The system compiles each file into an intermediate state that can be stored and cached to speed later analysis of files. In addition, when executing a particular file, the system monitors a time-based threshold and/or a recursion depth so that if the compilation time is exceeding the threshold or a function is exceeding the recursion depth the system can stop the execution and use the intermediate results obtained up to that point to provide as much information as possible within a bounded execution time. When dynamic analysis fails, the system falls back to static analysis.
    Type: Grant
    Filed: October 14, 2015
    Date of Patent: March 5, 2019
    Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
    Inventors: Jefferson King, Alan Oursland
  • Publication number: 20160085524
    Abstract: A code analysis system is described herein that provides code completion for programming languages that include elements that are not statically discoverable and that provides results in a predictable period that is acceptable for an interactive user interface. The system compiles each file into an intermediate state that can be stored and cached to speed later analysis of files. In addition, when executing a particular file, the system monitors a time-based threshold and/or a recursion depth so that if the compilation time is exceeding the threshold or a function is exceeding the recursion depth the system can stop the execution and use the intermediate results obtained up to that point to provide as much information as possible within a bounded execution time. When dynamic analysis fails, the system falls back to static analysis.
    Type: Application
    Filed: December 8, 2015
    Publication date: March 24, 2016
    Inventors: Jefferson King, Alan Oursland
  • Patent number: 9170788
    Abstract: A code analysis system is described herein that provides code completion for programming languages that include elements that are not statically discoverable and that provides results in a predictable period that is acceptable for an interactive user interface. The system compiles each file into an intermediate state that can be stored and cached to speed later analysis of files. In addition, when executing a particular file, the system monitors a time-based threshold and/or a recursion depth so that if the compilation time is exceeding the threshold or a function is exceeding the recursion depth the system can stop the execution and use the intermediate results obtained up to that point to provide as much information as possible within a bounded execution time. When dynamic analysis fails, the system falls back to static analysis.
    Type: Grant
    Filed: July 18, 2013
    Date of Patent: October 27, 2015
    Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
    Inventors: Jefferson King, Alan Oursland
  • Publication number: 20130332865
    Abstract: A user interface that includes an activity initiation area that includes an activity initiation control that may be interacted with in order to initiate respective activities, and a notification area in which one or more notifications related to the activity may be displayed. The notification area is spatially related to the activity initiation control in a fixed manner for multiple activities. The activity initiation area may appear along a lower boundary of the display much as a partially pulled out drawer as viewed from above. The notification area may also appear along the lower boundary of the display, but extend further vertically, much as a fully pulled out drawer as viewed from above. This helps give a contextual understanding of the subject matter of the notifications in relation to the activities that have been, or may be, initiated from the activity initiation area.
    Type: Application
    Filed: September 12, 2012
    Publication date: December 12, 2013
    Applicant: MICROSOFT CORPORATION
    Inventors: Stephen Michael Danton, Jonah B. Sterling, Michael Bach, Jefferson King, Jesse David Francisco, Adam Mohamed Abdelhamed, Mark S. D'Urso, Jonathan Harris, Karandeep Singh Anand, Bharat Ahluwalia, S. Morris Brown, William J. Staples, Dina-Marie Ledonne Supino
  • Publication number: 20130328923
    Abstract: A user interface in which a notification is to be displayed in the context of a dialog already being displayed over a primary application work area. Rather than pop up an additional dialog to show the notification, the notification is displayed adjacent the existing dialog. If the notification is a confirmation request, the display of the confirmation request disables an advancement control in the dialog that would otherwise enable the user to advance to the next step in the dialog, or to close the dialog.
    Type: Application
    Filed: September 14, 2012
    Publication date: December 12, 2013
    Applicant: MICROSOFT CORPORATION
    Inventors: Stephen Michael Danton, Jonah B. Sterling, Jefferson King, Jesse David Francisco, Dina-Marie Ledonne Supino, Adam Mohamed Abdelhamed, Mark S. D'Urso, Bharat Ahluwalia
  • Publication number: 20130305229
    Abstract: A code analysis system is described herein that provides code completion for programming languages that include elements that are not statically discoverable and that provides results in a predictable period that is acceptable for an interactive user interface. The system compiles each file into an intermediate state that can be stored and cached to speed later analysis of files. In addition, when executing a particular file, the system monitors a time-based threshold and/or a recursion depth so that if the compilation time is exceeding the threshold or a function is exceeding the recursion depth the system can stop the execution and use the intermediate results obtained up to that point to provide as much information as possible within a bounded execution time. When dynamic analysis fails, the system falls back to static analysis.
    Type: Application
    Filed: July 18, 2013
    Publication date: November 14, 2013
    Applicant: Microsoft Corporation
    Inventors: Jefferson King, Alan Oursland
  • Patent number: 8533669
    Abstract: A code analysis system is described herein that provides code completion for programming languages that include elements that are not statically discoverable and that provides results in a predictable period that is acceptable for an interactive user interface. The system compiles each file into an intermediate state that can be stored and cached to speed later analysis of files. In addition, when executing a particular file, the system monitors a time-based threshold and/or a recursion depth so that if the compilation time is exceeding the threshold or a function is exceeding the recursion depth the system can stop the execution and use the intermediate results obtained up to that point to provide as much information as possible within a bounded execution time. When dynamic analysis fails, the system falls back to static analysis.
    Type: Grant
    Filed: April 21, 2009
    Date of Patent: September 10, 2013
    Assignee: Microsoft Corporation
    Inventors: Jefferson King, Alan Oursland
  • Publication number: 20100269032
    Abstract: A text completion system is described herein that completes text at a tag and/or attribute level based on a syntactic understanding of software program code. The system includes sets of elements and associated attribute-value pairs that represent interesting, common, and repeated patterns. As a user is editing a web page or other document in an editing tool that implements the system, the user can retrieve, select, and insert these patterns using simple commands. The system receives a selected pattern from the user, and inserts target text associated with the pattern. In addition, users can fill in instance-specific data within the larger pattern to allow a single pattern to cover several common and closely related scenarios. Thus, the text completion system increases user productivity by providing more intelligent text completion through a syntactic understanding of the language in which a document is written.
    Type: Application
    Filed: April 15, 2009
    Publication date: October 21, 2010
    Applicant: Microsoft Corporation
    Inventors: Jefferson King, Alexander N. Gavrilov
  • Publication number: 20100269095
    Abstract: A code analysis system is described herein that provides code completion for programming languages that include elements that are not statically discoverable and that provides results in a predictable period that is acceptable for an interactive user interface. The system compiles each file into an intermediate state that can be stored and cached to speed later analysis of files. In addition, when executing a particular file, the system monitors a time-based threshold and/or a recursion depth so that if the compilation time is exceeding the threshold or a function is exceeding the recursion depth the system can stop the execution and use the intermediate results obtained up to that point to provide as much information as possible within a bounded execution time. When dynamic analysis fails, the system falls back to static analysis.
    Type: Application
    Filed: April 21, 2009
    Publication date: October 21, 2010
    Applicant: Microsoft Corporation
    Inventors: Jefferson King, Alan Oursland
  • Patent number: D710881
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: August 12, 2014
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Jonah Sterling, Michael Bach, Jon Harris, Jon Lee, Jodie Eilers, Dina-Marie L. Supino, Jefferson King, Karandeep Anand, William Staples, Adam Abdelhamed, Muhammad B. Aslam, Madhur Joshi
  • Patent number: D710882
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: August 12, 2014
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Jonah Sterling, Michael Bach, Jon Lee, Jodie Eilers, Dina-Marie L. Supino, Jefferson King, Karandeep Anand, William Staples, Adam Abdelhamed, Muhammad B. Aslam, Madhur Joshi, Jon Harris
  • Patent number: D710883
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: August 12, 2014
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Jonah Sterling, Michael Bach, Jon Lee, Jodie Eilers, Dina-Marie L. Supino, Jefferson King, Karandeep Anand, William Staples, Adam Abdelhamed, Muhammad B. Aslam, Madhur Joshi, Jon Harris
  • Patent number: D711416
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: August 19, 2014
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Jonah Sterling, Michael Bach, Jon Harris, Jon Lee, Jodie Eilers, Dina-Marie LeDonne Supino, Jefferson King, Karandeep Anand, William Staples, Adam Abdelhamed, Muhammad Bilal Aslam, Madhur Joshi
  • Patent number: D711906
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: August 26, 2014
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Jonah Sterling, Michael Bach, Jon Harris, Jon Lee, Jodie Eilers, Dina-Marie LeDonne Supino, Jefferson King, William Staples, Adam Abdelhamed, Madhur Joshi, Muhammad Bilal Aslam, Karandeep Anand
  • Patent number: D711913
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: August 26, 2014
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Jonah Sterling, Michael Bach, Jon Harris, Jon Lee, Jodie Eilers, Dina-Marie L. Supino, Jefferson King, Karandeep Anand, William Staples, Adam Abdelhamed, Muhammad B. Aslam, Madhur Joshi
  • Patent number: D711914
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: August 26, 2014
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Jonah Sterling, Michael Bach, Jon Harris, Jon Lee, Jodie Eilers, Dina-Marie L. Supino, Jefferson King, Karandeep Anand, William Staples, Adam Abdelhamed, Muhammad B. Aslam, Madhur Joshi
  • Patent number: D723055
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: February 24, 2015
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Jonah Sterling, Michael Bach, Jon Harris, Jon Lee, Jodie Eilers, Dina-Marie LeDonne Supino, Jefferson King, Karandeep Anand, William Staples, Adam Abdelhamed, Muhammad Bilal Aslam, Madhur Joshi
  • Patent number: D735233
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: July 28, 2015
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Jonah Sterling, Michael Bach, Jon Harris, Jon Lee, Jodie Eilers, Dina-Marie LeDonne Supino, Jefferson King, Karandeep Anand, William Staples, Adam Abdelhamed, Muhammad Bilal Aslam, Madhur Joshi
  • Patent number: D735748
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: August 4, 2015
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Michael Bach, Jon Harris, Jon Lee, Jodie Eilers, Dina-Marie LeDonne Supino, Jefferson King, Karandeep Anand, William Staples, Adam Abdelhamed, Muhammad Bilal Aslam, Madhur Joshi, Jonah Sterling
  • Patent number: D737842
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: September 1, 2015
    Assignee: Microsoft Corporation
    Inventors: Jesse Francisco, Stephen Danton, Jonah Sterling, Michael Bach, Jon Harris, Jon Lee, Jodie Eilers, Dina-Marie LeDonne Supino, Jefferson King, Karandeep Anand, William Staples, Adam Abdelhamed, Muhammad Bilal Aslam, Madhur Joshi