The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Feb. 12, 2013

Filed:

May. 28, 2010
Applicants:

Ohad Shacham, Kfar Monash, IL;

Martin Vechev, Yorktown Heights, NY (US);

Eran Yahav, Yorktown Heights, NY (US);

Inventors:

Ohad Shacham, Kfar Monash, IL;

Martin Vechev, Yorktown Heights, NY (US);

Eran Yahav, Yorktown Heights, NY (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 15/18 (2006.01);
U.S. Cl.
CPC ...
Abstract

Methods and apparatus are provided for a context-sensitive dynamic bloat detection system. A profiling tool is disclosed that selects an appropriate collection implementation for a given application. The disclosed profiling tool uses semantic profiling together with a set of collection selection rules to make an informed choice. A collection implementation, such as an abstract data entity, is selected for a given program by obtaining collection usage statistics from the program. The collection implementation is selected based on the collection usage statistics using a set of collection selection rules. The collection implementation is one of a plurality of interchangeable collection implementations having a substantially similar logical behavior for substantially all collection types. The collection usage statistics indicate how the collection implementation is used in the given program. One or more suggestions can be generated for improving the collection allocated at a particular allocation context.


Find Patent Forward Citations

Loading…