BCFA: Bespoke Control Flow Analysis for CFA at Scale

Many data-driven software engineering tasks such as discovering programming patterns, mining API specifications, etc., perform source code analysis over control flow graphs (CFGs) at scale. Analyzing millions of CFGs can be expensive and performance of the analysis heavily depends on the underlying CFG traversal strategy. State-of-the-art analysis frameworks use a fixed traversal strategy. We argue that a single traversal strategy does not fit all kinds of analyses and CFGs and propose bespoke control flow analysis (BCFA). Given a control flow analysis (CFA) and a large number of CFGs, BCFA selects the most efficient traversal strategy for each CFG. BCFA extracts a set of properties of the CFA by analyzing the code of the CFA and combines it with properties of the CFG, such as branching factor and cyclicity, for selecting the optimal traversal strategy. We have implemented BCFA in Boa, and evaluated BCFA using a set of representative static analyses that mainly involve traversing CFGs and two large datasets containing 287 thousand and 162 million CFGs. Our results show that BCFA can speedup the large scale analyses by 1%-28%. Further, BCFA has low overheads; less than 0.2%, and low misprediction rate; less than 0.01%.Comment: 12 page

Fire Fighting from High Altitude

A viewgraph presentation on high altitude fire fighting is shown. The topics include: 1) Yellowstone Fire - 1988; 2) 2006 Western States Fire Mission Over-View; 3) AMS-Wildfire Scanner; 4) October 24-25 Mission: Yosemite NP and NF; 5) October 24-25 Mission MODIS Overpass; 6) October 24-25 Mission Highlights; 7) October 28-29 Mission Esperanza Fire, California; 8) Response to the Esperanza Fire in Southern California -- Timeline Oct 27-29 2006; 9) October 28-29 Mission Esperanza Fire Altair Flight Routing; 10) October 28-29 Mission Esperanza Fire Altair Over-Flights; 11) October 28-29 Mission Highlights; 12) Results from the Esperanza Fire Response; 13) 2007 Western States Fire Mission; and 14) Western States UAS Fire Mission 200

Prolonged survival of patients receiving trastuzumab beyond disease progression for HER2 overexpressing metastatic breast cancer (MBC)

Background: The aim of this retrospective analysis was to evaluate the impact of trastuzumab-based regimens on the survival of patients with HER2-overexpressing metastatic breast cancer (MBC). The study specifically focussed on the influence of the continuation of trastuzumab-based treatment despite tumor progression on survival. Patients and Methods: Patients with HER2 overexpressing MBC were included in this retrospective analysis. HER2 overexpression was determined by the immunohistochemical staining score (DAKO Hercep Test (TM)). Trastuzumab was applied at a loading dose of 4 mg/kg and a maintenance dose of 2 mg/kg. Results: Among 136 HER2 overexpressing patients (DAKO score 3+), 66 patients received first-line trastuzumab, 47 patients received trastuzumab as second-line therapy and 23 patients received trastuzumab beyond disease progression. There was no significant difference regarding the duration of trastuzumab-based treatment (first-line: 29.5 weeks vs. second-line: 25 weeks). Moreover, there was no difference in the response rate (first-line: 37.9% vs. second-line: 35.7%) or the median survival (p = 0.47 log rank). Patients who received >= 2 trastuzumab-based regimens for MBC survived significantly longer compared to those who had received only 1 regimen (>= 2 regimens: 62.4 months vs. 1 regimen: 38.5 months; p = 0.01 log rank). Conclusions: Trastuzumab is highly effective in the treatment of HER2 overexpressing MBC. Compared to historical controls, overall survival appears to be markedly prolonged, particularly in patients who received sequential trastuzumab-based treatment beyond disease progression

Subject preferences of fifth-grade children.

Thesis (Ed.M.)--Boston University N.B.:Pages 155 and 309 are missing from original thesis

FLAVERS: a Finite State Verification Technique for Software Systems

Software systems are increasing in size and complexity and, subsequently, are becoming ever more difficult to validate. Finite State Verification (FSV) has been gaining credibility and attention as an alternative to testing and to formal verification approaches based on theorem proving. There has recently been a great deal of excitement about the potential for FSV approaches to prove properties about hardware descriptions but, for the most part, these approaches do not scale adequately to handle the complexity usually found in software. In this paper, we describe an FSV approach that creates a compact and conservative, but imprecise, model of the system being analyzed, and then assists the analyst in adding additional details as guided by previous analysis results. This paper describes this approach and a prototype implementation, called FLAVERS, presents a detailed example, and then provides some experimental results demonstrating scalability

Verifying Properties of Process Definitions

It seems important that the complex processes that synergize humans and computers to solve widening classes of societal problems be subjected to rigorous analysis. One approach is to use a process definition language to specify these processes and to then use analysis techniques to evaluate these definitions for important correctness properties. Because humans demand flexibility in their participation in complex processes, process definition languages must incorporate complicated control structures, such as various concurrency, choice, reactive control, and exception mechanisms. The underlying complexity of these control abstractions, however, often confounds the users’ intuitions as well as complicates any analysis. Thus, the control abstraction complexity in process definition languages presents analysis challenges beyond those posed by traditional programming languages. This paper explores some of the difficulties of analyzing process definitions. We explore issues arising when applying the FLAVERS finite state verification system to processes written in the Little-JIL process definition language and illustrate these issues using a realistic auction example. Although we employ a particular process definition language and analysis technique, our results seem more generally applicable

Population pharmacokinetics of trastuzumab emtansine (T-DM1), a HER2-targeted antibody–drug conjugate, in patients with HER2-positive metastatic breast cancer: clinical implications of the effect of covariates

PURPOSE: Trastuzumab emtansine (T-DM1) is an antibody–drug conjugate comprising the humanized monoclonal antibody trastuzumab linked to DM1, a highly potent cytotoxic agent. A population pharmacokinetic (PK) analysis was performed to estimate typical values and interindividual variability of T-DM1 PK parameters and the effects of clinically relevant covariates. METHODS: Serum samples were collected from 671 patients with human epidermal growth factor receptor 2-positive locally advanced or metastatic breast cancer (MBC) who received single-agent T-DM1 in five phase I to phase III studies. Nonlinear mixed-effects modeling with the first-order conditional estimation method was used. RESULTS: A linear two-compartment model with first-order elimination from the central compartment described T-DM1 PKs in the clinical dose range. T-DM1 elimination clearance was 0.676 L/day, volume of distribution in the central compartment (V(c)) was 3.127 L, and terminal elimination half-life was 3.94 days. Age, race, region, and renal function did not influence T-DM1 PK. Given the low-to-moderate effect of all statistically significant covariates on T-DM1 exposure, none of these covariates is expected to result in a clinically meaningful change in T-DM1 exposure. CONCLUSIONS: T-DM1 PK properties are consistent and predictable in patients. A further refinement of dose based on baseline covariates other than body weight for the current 3.6 mg/kg regimen would not yield clinically meaningful reductions in interindividual PK variability in patients with MBC. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1007/s00280-014-2500-2) contains supplementary material, which is available to authorized users

Development of the X-33 Aerodynamic Uncertainty Model

An aerodynamic uncertainty model for the X-33 single-stage-to-orbit demonstrator aircraft has been developed at NASA Dryden Flight Research Center. The model is based on comparisons of historical flight test estimates to preflight wind-tunnel and analysis code predictions of vehicle aerodynamics documented during six lifting-body aircraft and the Space Shuttle Orbiter flight programs. The lifting-body and Orbiter data were used to define an appropriate uncertainty magnitude in the subsonic and supersonic flight regions, and the Orbiter data were used to extend the database to hypersonic Mach numbers. The uncertainty data consist of increments or percentage variations in the important aerodynamic coefficients and derivatives as a function of Mach number along a nominal trajectory. The uncertainty models will be used to perform linear analysis of the X-33 flight control system and Monte Carlo mission simulation studies. Because the X-33 aerodynamic uncertainty model was developed exclusively using historical data rather than X-33 specific characteristics, the model may be useful for other lifting-body studies

High-angle-of-attack yawing moment asymmetry of the X-31 aircraft from flight test

Significant yawing moment asymmetries were encountered during the high-angle-of-attack envelope expansion of the two X-31 aircraft. These asymmetries led to position saturations of the thrust vector vanes and trailing-edge flaps during some of the dynamic stability axis rolling maneuvers at high angles of attack. This slowed the high-angle-of-attack envelope expansion and resulted in maneuver restrictions. Several aerodynamic modifications were made to the X-31 forebody with the goal of minimizing the asymmetry. A method for determining the yawing moment asymmetry from flight data was developed and an analysis of the various configuration changes completed. The baseline aircraft were found to have significant asymmetries above 45 deg angle of attack with the largest asymmetry typically occurring around 60 deg angle of attack. Applying symmetrical boundary layer transition strips along the forebody sides increased the magnitude of the asymmetry and widened the angle-of-attack range over which the largest asymmetry acted. Installing longitudinal forebody strakes and rounding the sharp nose of the aircraft caused the yawing moment asymmetry magnitude to be reduced. The transition strips and strakes made the asymmetry characteristic of the aircraft more repeatable than the clean forebody configuration. Although no geometric differences between the aircraft were known, ship 2 consistently had larger yawing moment asymmetries than ship 1