Patents

US 9753707 B2: Context-free type recording for virtual machines of dynamic programming languages

Granted
2017-09-05
Filed
2015-07-24 application 14808150
Type
Utility · 18 claims
Elsewhere
Google Patents ↗ · USPTO patent document ↗ · USPTO Patent Center record ↗

Abstract

A method and a computing device for reducing deoptimization in a virtual machine are provided. Source code of a dynamically-typed program is compiled. A context-free type-state recorder records a first data type of a value associated with a particular named memory location within the source code. Optimized code may be generated based on the first data type of the value being a matching data type for global values associated with the particular named memory location. One or more global values associated with the particular named memory location may be type-checked. The context-free type-state recorder may record, if one or more of the global values associated with the particular named memory location is a different data type than the first data type, one or more different data types associated with the particular named memory location. New optimized code may then be generated.

Source: PVGPATDIS, file of 2026-04-10 (ipg170905.xml).

Assignees

AssigneeTypePlaceAlso on furp.orgSource
QUALCOMM Innovation Center, Inc. 93 patentsUS company or organizationSan Diego, CAPVGPATDIS, file of 2026-04-10

Inventors

InventorPlacePatentsPerson pageSource
Derek Jay ConrodSan Diego, CA3PVGPATDIS, file of 2026-04-10

CPC categories

SubclassCategoryFirst groupSource
G06FElectric digital data processingG06F8/4434PVGPATDIS, file of 2026-04-10

Cooperative Patent Classification, as currently assigned (one row per subclass).

Assignments and security interests

RecordedWhatFromToReel/frameSource
2015-11-23Assignment
Assignment of assignor's interest
CONROD, DEREK J. signed 2015-10-29QUALCOMM INNOVATION CENTER, INC. SAN DIEGO, CO37120/686ECORSEXC, file of 2026-09-25

Documents recorded with the USPTO Assignment Recordation Branch that list this patent. A security interest is a lender’s claim on the patent as collateral; a release ends it.

USPTO bulk data: PatentsView granted patents, disambiguated (PVGPATDIS) for patents, assignees, inventors, places and CPC categories; the USPTO Patent Assignment Dataset (ECORSEXC) for assignments and security interests. Patents filed in the last 20 years. No claims or full text. Links to other records are by name (and state): EXACT means the identical full name and state; FUZZY means a looser name match, with the confidence shown.