1. A system comprising: one or more processors; one or more memories; and a program with byte-code instrumentation, stored in one or more of the one or more memories, that, when executed by one of the one or more processors, at each of one or more instrumentation points in the program, generates a potential data frame containing information computed at an instrumentation point in the byte code, applies one or more filters to the generated potential data frame, the one or more filters including a time-interval filter, an information filter, or both, and whenever the potential data frame is not rejected by one of the one or more applied filters, stores the potential data frame as a data frame in one of the one or more memories; wherein the time-interval filter when applied rejects all but a threshold number of potential data frames within each specified interval of time for a specified range of values computed as information for inclusion in the potential data frame, and the byte-code instrumentation applies the time-interval filter by: determining an elapsed time between two instrumentation points, the determined elapsed time comprising the computed information of a potential data frame, determining an elapsed-time bin corresponding to the determined elapsed time, and rejecting the potential data frame when the elapsed-time bin contains a count equal to the threshold number; and wherein the information filter when applied rejects potential data frames that contain redundant execution-trace information with respect to a particular execution trace, and the byte-code instrumentation applies the information filter by: determining, at a current instrumentation point, a representation for a current execution trace comprising the computed information of a potential data frame, determining whether there are two or more logical endpoints within the representation for the current execution trace, determining whether a last routine executed prior to the current instrumentation point is one of the two logical endpoints, determining a precedence for each of the two or more logical endpoints, and rejecting the potential data frame when the order of the determined precedences does not correspond to an allowed order.