Comprehensive Path-sensitive Data-flow Analysis

Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex control-flow. W initially perform data-flow analysis to determine those control-flow merges which cause the loss in data-flow analysis precision. The control-flow graph of the program is then restructured such that performing data-flow analysis on the resulting restructured graph gives more precise results. The proposed framework is both simple, involving the familiar notion of product automata, and also general, since it is applicable to any forward data-flow analysis. Apart from proving that our restructuring process is correct, we also show that restructuring is effective in that it necessarily leads to more optimization opportunities. Furthermore, the framework handles the trade-off between the increase in data-flow precision and the code size increase inherent in the restructuring. We show that determining an optimal restructuring is NP-hard, and propose and evaluate a greedy strategy. The framework has been implemented in the Scale research compiler, and instantiated for the specific problem of Constant Propagation. On the SPECINT 2000 benchmark suite we observe an average speedup of 4% in the running times over Wegman-Zadeck conditional constant propagation algorithm and 2% over a purely path profile guided approach.

Enhanced Metastatic Potential in a 3D Tissue Scaffold toward a Comprehensive in Vitro Model for Breast Cancer Metastasis

Metastasis is clinically the most challenging and lethal aspect of breast cancer. While animal-based xenograft models are expensive and time-consuming, conventional two-dimensional (2D) cell culture systems fail to mimic in vivo signaling. In this study we have developed a three-dimensional (3D) scaffold system that better mimics the topography and mechanical properties of the breast tumor, thus recreating the tumor microenvironment in vitro to study breast cancer metastasis. Porous poly(e-caprolactone) (PCL) scaffolds of modulus 7.0 +/- 0.5 kPa, comparable to that of breast tumor tissue were fabricated, on which MDA-MB-231 cells proliferated forming tumoroids. A comparative gene expression analysis revealed that cells growing in the scaffolds expressed increased levels of genes implicated in the three major events of metastasis, viz., initiation, progression, and the site-specific colonization compared to cells grown in conventional 2D tissue culture polystyrene (TCPS) dishes. The cells cultured in scaffolds showed increased invasiveness and sphere efficiency in vitro and increased lung metastasis in vivo. A global gene expression analysis revealed a significant increase in the expression of genes involved in cell cell and cell matrix interactions and tissue remodeling, cancer inflammation, and the PI3K/Akt, Wnt, NF-kappaB, and HIFI signaling pathways all of which are implicated in metastasis. Thus, culturing breast cancer cells in 3D scaffolds that mimic the in vivo tumor-like microenvironment enhances their metastatic potential. This system could serve as a comprehensive in vitro model to investigate the manifold mechanisms of breast cancer metastasis.