Patents by Inventor Mark L. Hall

Mark L. Hall 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: 9672020
    Abstract: Techniques are described herein that are capable of selectively loading precompiled header(s) and/or portion(s) thereof. A precompiled header is a complied (e.g., precompiled) representation of a header file. For instance, the compiled representation may be in an intermediate form that a compiler may process more quickly than the non-compiled header file. In one example, the precompiled header(s) and/or portion(s) thereof may be selectively loaded based on whether the precompiled header(s) and/or portion(s) thereof are referenced in a computer program. In another example, loading a portion of a precompiled header may be deferred until content of the portion is referenced in a computer program.
    Type: Grant
    Filed: September 19, 2014
    Date of Patent: June 6, 2017
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Mark L. Hall, Sridhar S. Madhugiri, Jonathan C. Emmett, Leonard C. Mosescu
  • Publication number: 20160085523
    Abstract: Techniques are described herein that are capable of selectively loading precompiled header(s) and/or portion(s) thereof. A precompiled header is a complied (e.g., precompiled) representation of a header file. For instance, the compiled representation may be in an intermediate form that a compiler may process more quickly than the non-compiled header file. In one example, the precompiled header(s) and/or portion(s) thereof may be selectively loaded based on whether the precompiled header(s) and/or portion(s) thereof are referenced in a computer program. In another example, loading a portion of a precompiled header may be deferred until content of the portion is referenced in a computer program.
    Type: Application
    Filed: September 19, 2014
    Publication date: March 24, 2016
    Inventors: Mark L. Hall, Sridhar S. Madhugiri, Jonathan C. Emmett, Leonard C. Mosescu
  • Patent number: 7730465
    Abstract: The present invention provides a system and/or method that facilitates programming within Common Language Runtime (CLR) for a C++ programmer by employing a mixed type. An inheritance component creates the mixed type from received code such that the mixed class type is allocated into memory into a pure native part and a pure managed part. Furthermore, construction, destruction and function calls for mixed types are provided facilitating programming within Common Language Runtime (CLR).
    Type: Grant
    Filed: October 22, 2004
    Date of Patent: June 1, 2010
    Assignee: Microsoft Corporation
    Inventors: Herbert P Sutter, Jeffrey J Peil, Brandon R Bray, Mark L Hall, Jonathan E Caves
  • Patent number: 7496889
    Abstract: The present invention provides a system and/or method that facilitates expanding keywords within an existing computer programming language by employing a whitespace keyword containing embedded whitespace. A whitespace component can receive code, and create a whitespace keyword based at least upon a successive comparison of adjacent tokens. The whitespace component creates a whitespace keyword by replacing more than one token with a single token containing embedded whitespace. Moreover, the whitespace component can utilize a lexical analyzer to group code into tokens and a parser component to parse the code.
    Type: Grant
    Filed: October 22, 2004
    Date of Patent: February 24, 2009
    Assignee: Microsoft Corporation
    Inventors: Herbert P Sutter, Jeffrey J Peil, Brandon R Bray, Mark L Hall, Jonathan E Caves
  • Publication number: 20080023247
    Abstract: This patent discloses a vehicle having mounted therein a safety system. The safety system may indicate contact between an external object and the vehicle as the vehicle moves in reverse gear. The indication of contact may include automatically shutting down the vehicle engine, engaging the hand braking system of the vehicle, and honking the vehicle horn. The reverse drive safety system for a vehicle may include arms, a sensor cable that may extend between the arms and connect to a sensor spool. The reverse drive safety system additionally may include a sensing device to sense whether an external object has contacted the sensor cable or the arms and may include an electric motor that winds and unwinds the sensor cable based on a signal from the sensing device or a signal from a reverse indicator. The electric motor also may engage and disengage the vehicles hand brake system based on a signal from the sensing device and the reverse indicator.
    Type: Application
    Filed: July 27, 2006
    Publication date: January 31, 2008
    Inventor: Mark L. Hall
  • Patent number: 6374368
    Abstract: Improved weakest condition analysis. In one embodiment, a computer-implemented method including first identifying a set of candidates of a computer program that are potentially defective, via a predetermined data flow analysis. In one embodiment, the predetermined data flow analysis may be a static single assignment analysis, or a partial redundancy analysis. Next, each of these candidates is examine via a weakest precondition analysis to determine whether the candidate actually is defective. The end result is a faster analysis, because the weakest precondition analysis is only performed on those candidates that are deemed potentially defective by the initial predetermined data flow analysis performed.
    Type: Grant
    Filed: May 21, 1999
    Date of Patent: April 16, 2002
    Assignee: Microsoft Corporation
    Inventors: Charles L. Mitchell, Mark L. Hall
  • Patent number: 5779005
    Abstract: A system for lubricating bearings on a vertical rotatable shaft within a bearing housing, is comprised of an annular lower lubricant sump at a lower portion of the bearing housing; an annular upper lubricant reservoir at an upper portion of the bearing housing; and a conduit providing fluid communication between the lower lubricant sump and the upper lubricant reservoir. Provision is made for metering a flow of lubricant from the upper lubricant reservoir into upper bearings. The lubricant is pumped from the lower lubricant sump, through the conduit, to the upper lubricant reservoir at a rate exceeding the rate of metered flow into the upper bearings. A constant head of lubricant above the metering orifice is provided in the upper lubricant reservoir, as well as an outlet for shunting excess lubricant back to the lower lubricant sump.
    Type: Grant
    Filed: February 27, 1997
    Date of Patent: July 14, 1998
    Assignee: Ingersoll-Dresser Pump Company
    Inventors: William B. Jones, Jr., Mark L. Hall, Vahe Hayrapetian, Khajak Jack Minassian