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: 10223082Abstract: 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: GrantFiled: October 14, 2015Date of Patent: March 5, 2019Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Jefferson King, Alan Oursland
-
Publication number: 20160085524Abstract: 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: ApplicationFiled: December 8, 2015Publication date: March 24, 2016Inventors: Jefferson King, Alan Oursland
-
Patent number: 9170788Abstract: 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: GrantFiled: July 18, 2013Date of Patent: October 27, 2015Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Jefferson King, Alan Oursland
-
Publication number: 20130332865Abstract: 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: ApplicationFiled: September 12, 2012Publication date: December 12, 2013Applicant: MICROSOFT CORPORATIONInventors: 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: 20130328923Abstract: 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: ApplicationFiled: September 14, 2012Publication date: December 12, 2013Applicant: MICROSOFT CORPORATIONInventors: 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: 20130305229Abstract: 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: ApplicationFiled: July 18, 2013Publication date: November 14, 2013Applicant: Microsoft CorporationInventors: Jefferson King, Alan Oursland
-
Patent number: 8533669Abstract: 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: GrantFiled: April 21, 2009Date of Patent: September 10, 2013Assignee: Microsoft CorporationInventors: Jefferson King, Alan Oursland
-
Publication number: 20100269032Abstract: 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: ApplicationFiled: April 15, 2009Publication date: October 21, 2010Applicant: Microsoft CorporationInventors: Jefferson King, Alexander N. Gavrilov
-
Publication number: 20100269095Abstract: 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: ApplicationFiled: April 21, 2009Publication date: October 21, 2010Applicant: Microsoft CorporationInventors: Jefferson King, Alan Oursland
-
Patent number: D710881Type: GrantFiled: March 14, 2013Date of Patent: August 12, 2014Assignee: Microsoft CorporationInventors: 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: D710882Type: GrantFiled: March 14, 2013Date of Patent: August 12, 2014Assignee: Microsoft CorporationInventors: 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: D710883Type: GrantFiled: March 14, 2013Date of Patent: August 12, 2014Assignee: Microsoft CorporationInventors: 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: D711416Type: GrantFiled: March 14, 2013Date of Patent: August 19, 2014Assignee: Microsoft CorporationInventors: 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: D711906Type: GrantFiled: March 14, 2013Date of Patent: August 26, 2014Assignee: Microsoft CorporationInventors: 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: D711913Type: GrantFiled: March 14, 2013Date of Patent: August 26, 2014Assignee: Microsoft CorporationInventors: 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: D711914Type: GrantFiled: March 14, 2013Date of Patent: August 26, 2014Assignee: Microsoft CorporationInventors: 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: D723055Type: GrantFiled: March 14, 2013Date of Patent: February 24, 2015Assignee: Microsoft CorporationInventors: 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: D735233Type: GrantFiled: March 14, 2013Date of Patent: July 28, 2015Assignee: Microsoft CorporationInventors: 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: D735748Type: GrantFiled: March 14, 2013Date of Patent: August 4, 2015Assignee: Microsoft CorporationInventors: 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: D737842Type: GrantFiled: March 14, 2013Date of Patent: September 1, 2015Assignee: Microsoft CorporationInventors: 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