Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)

Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production. Formal techniques, such as TLA+, can only verify high-level specifications of systems at the level of logic-based models, and fall short of checking the actual executable code. In this paper, we present a new methodology for testing distributed systems. Our approach applies advanced systematic testing techniques to thoroughly check that the executable code adheres to its high-level specifications, which significantly improves coverage of important system behaviors. Our methodology has been applied to three distributed storage systems in the Microsoft Azure cloud computing platform. In the process, numerous bugs were identified, reproduced, confirmed and fixed. These bugs required a subtle combination of concurrency and failures, making them extremely difficult to find with conventional testing techniques. An important advantage of our approach is that a bug is uncovered in a small setting and witnessed by a full system trace, which dramatically increases the productivity of debugging

Using standard typing algorithms incrementally

Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of programs and their continuous evolution require building fast and efficient analysers. A promising solution is incrementality, aiming at only re-typing the diffs, i.e. those parts of the program that change or are inserted, rather than the entire codebase. We propose an algorithmic schema that drives an incremental usage of existing, standard typing algorithms with no changes. Ours is a grey-box approach: just the shape of the input, that of the results and some domain-specific knowledge are needed to instantiate our schema. Here, we present the foundations of our approach and the conditions for its correctmess. We show it at work to derive two different incremental typing algorithms. The first type checks an imperative language to detect information flow and non-interference, and the second infers types for a functional language. We assessed our proposal on a prototypical imple- mentation of an incremental type checker. Our experiments show that using the type checker incrementally is (almost) always rewardin

Using Standard Typing Algorithms Incrementally

Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of programs and their continuous evolution require building fast and efficient analysers. A promising solution is incrementality, so one only re-types those parts of the program that are new, rather than the entire codebase. We propose an algorithmic schema driving the definition of an incremental typing algorithm that exploits the existing, standard ones with no changes. Ours is a grey-box approach, meaning that just the shape of the input, that of the results and some domain-specific knowledge are needed to instantiate our schema. Here, we present the foundations of our approach and we show it at work to derive three different incremental typing algorithms. The first two implement type checking and inference for a functional language. The last one type-checks an imperative language to detect information flow and non-interference. We assessed our proposal on a prototypical implementation of an incremental type checker. Our experiments show that using the type checker incrementally is (almost) always rewarding.Comment: corrected and updated; experimental results adde

Tumour Suppressive Function and Modulation of Programmed Cell Death 4 (PDCD4) in Ovarian Cancer

Background: Programmed cell death 4 (PDCD4), originally identified as the neoplastic transformation inhibitor, was attenuated in various cancer types. Our previous study demonstrated a continuous down-regulation of PDCD4 expression in the sequence of normal-borderline-malignant ovarian tissue samples and a significant correlation of PDCD4 expression with disease-free survival. The objective of the current study was to further investigate the function and modulation of PDCD4 in ovarian cancer cells. Principal Findings: We demonstrated that ectopic PDCD4 expression significantly inhibited cell proliferation by inducing cell cycle arrest at G1 stage and up-regulation of cell cycle inhibitors of p27 and p21. Cell migration and invasion were also inhibited by PDCD4. PDCD4 over-expressing cells exhibited elevated phosphatase and tensin homolog (PTEN) and inhibited protein kinase B (p-Akt). In addition, the expression of PDCD4 was up-regulated and it was exported to the cytoplasm upon serum withdrawal treatment, but it was rapidly depleted via proteasomal degradation upon serum re-administration. Treatment of a phosphoinositide 3-kinase (PI3K) inhibitor prevented the degradation of PDCD4, indicating the involvement of PI3K-Akt pathway in the modulation of PDCD4. Conclusion: PDCD4 may play a critical function in arresting cell cycle progression at key checkpoint, thus inhibiting cell proliferation, as well as suppressing tumour metastasis. The PI3K-Akt pathway was implied to be involved in the regulatio

MicroRNA Expression and Clinical Outcome of Small Cell Lung Cancer

The role of microRNAs in small-cell lung carcinoma (SCLC) is largely unknown. miR-34a is known as a p53 regulated tumor suppressor microRNA in many cancer types. However, its therapeutic implication has never been studied in SCLC, a cancer type with frequent dysfunction of p53. We investigated the expression of a panel of 7 microRNAs (miR-21, miR-29b, miR-34a/b/c, miR-155, and let-7a) in 31 SCLC tumors, 14 SCLC cell lines, and 26 NSCLC cell lines. We observed significantly lower miR-21, miR-29b, and miR-34a expression in SCLC cell lines than in NSCLC cell lines. The expression of the 7 microRNAs was unrelated to SCLC patients' clinical characteristics and was neither prognostic in term of overall survival or progression-free survival nor predictive of treatment response. Overexpression or downregulation of miR-34a did not influence SCLC cell viability. The expression of these 7 microRNAs also did not predict in vitro sensitivity to cisplatin or etoposide in SCLC cell lines. Overexpression or downregulation of miR-34a did not influence sensitivity to cisplatin or etoposide in SCLC cell lines. In contrast to downregulation of the miR-34a target genes cMET and Axl by overexpression of miR-34a in NSCLC cell lines, the intrinsic expression of cMET and Axl was low in SCLC cell lines and was not influenced by overexpression of miR-34a. Our results suggest that the expression of the 7 selected microRNAs are not prognostic in SCLC patients, and miR-34a is unrelated to the malignant behavior of SCLC cells and is unlikely to be a therapeutic target

Transcriptional activation of the Axl and PDGFR-α by c-Met through a ras- and Src-independent mechanism in human bladder cancer

<p>Abstract</p> <p>Background</p> <p>A cross-talk between different receptor tyrosine kinases (RTKs) plays an important role in the pathogenesis of human cancers.</p> <p>Methods</p> <p>Both NIH-Met5 and T24-Met3 cell lines harboring an inducible human c-Met gene were established. C-Met-related RTKs were screened by RTK microarray analysis. The cross-talk of RTKs was demonstrated by Western blotting and confirmed by small interfering RNA (siRNA) silencing, followed by elucidation of the underlying mechanism. The impact of this cross-talk on biological function was demonstrated by Trans-well migration assay. Finally, the potential clinical importance was examined in a cohort of 65 cases of locally advanced and metastatic bladder cancer patients.</p> <p>Results</p> <p>A positive association of Axl or platelet-derived growth factor receptor-alpha (PDGFR-α) with c-Met expression was demonstrated at translational level, and confirmed by specific siRNA knock-down. The transactivation of c-Met on Axl or PDGFR-α <it>in vitro </it>was through a <it>ras</it>- and Src-independent activation of mitogen-activated protein kinase/extracellular signal-regulated kinase (MEK/ERK) pathway. In human bladder cancer, co-expression of these RTKs was associated with poor patient survival (<it>p </it>< 0.05), and overexpression of c-Met/Axl/PDGFR-α or c-Met alone showed the most significant correlation with poor survival (<it>p </it>< 0.01).</p> <p>Conclusions</p> <p>In addition to c-Met, the cross-talk with Axl and/or PDGFR-α also contributes to the progression of human bladder cancer. Evaluation of Axl and PDGFR-α expression status may identify a subset of c-Met-positive bladder cancer patients who may require co-targeting therapy.</p

Capture of MicroRNA–Bound mRNAs Identifies the Tumor Suppressor miR-34a as a Regulator of Growth Factor Signaling

A simple biochemical method to isolate mRNAs pulled down with a transfected, biotinylated microRNA was used to identify direct target genes of miR-34a, a tumor suppressor gene. The method reidentified most of the known miR-34a regulated genes expressed in K562 and HCT116 cancer cell lines. Transcripts for 982 genes were enriched in the pull-down with miR-34a in both cell lines. Despite this large number, validation experiments suggested that ∼90% of the genes identified in both cell lines can be directly regulated by miR-34a. Thus miR-34a is capable of regulating hundreds of genes. The transcripts pulled down with miR-34a were highly enriched for their roles in growth factor signaling and cell cycle progression. These genes form a dense network of interacting gene products that regulate multiple signal transduction pathways that orchestrate the proliferative response to external growth stimuli. Multiple candidate miR-34a–regulated genes participate in RAS-RAF-MAPK signaling. Ectopic miR-34a expression reduced basal ERK and AKT phosphorylation and enhanced sensitivity to serum growth factor withdrawal, while cells genetically deficient in miR-34a were less sensitive. Fourteen new direct targets of miR-34a were experimentally validated, including genes that participate in growth factor signaling (ARAF and PIK3R2) as well as genes that regulate cell cycle progression at various phases of the cell cycle (cyclins D3 and G2, MCM2 and MCM5, PLK1 and SMAD4). Thus miR-34a tempers the proliferative and pro-survival effect of growth factor stimulation by interfering with growth factor signal transduction and downstream pathways required for cell division

Epigenetics Offer New Horizons for Colorectal Cancer Prevention

In recent years, colorectal cancer (CRC) incidence has been increasing to become a major cause of morbidity and mortality worldwide from cancers, with high rates in westernized societies and increasing rates in developing countries. Epigenetic modifications including changes in DNA methylation, histone modifications, and non-coding RNAs play a critical role in carcinogenesis. Epidemiological data suggest that, in comparison to other cancers, these alterations are particularly common within the gastrointestinal tract. To explain these observations, environmental factors and especially diet were suggested to both prevent and induce CRC. Epigenetic alterations are, in contrast to genetic modifications, potentially reversible, making the use of dietary agents a promising approach in CRC for the development of chemopreventive strategies targeting epigenetic mechanisms. This review focuses on CRC-related epigenetic alterations as a rationale for various levels of prevention strategies and their potential modulation by natural dietary compounds

Histone deacetylase (HDAC) inhibitors in recent clinical trials for cancer therapy

Heritable changes in gene expression that are not based upon alterations in the DNA sequence are defined as epigenetics. The most common mechanisms of epigenetic regulation are the methylation of CpG islands within the DNA and the modification of amino acids in the N-terminal histone tails. In the last years, it became evident that the onset of cancer and its progression may not occur only due to genetic mutations but also because of changes in the patterns of epigenetic modifications. In contrast to genetic mutations, which are almost impossible to reverse, epigenetic changes are potentially reversible. This implies that they are amenable to pharmacological interventions. Therefore, a lot of work in recent years has focussed on the development of small molecule enzyme inhibitors like DNA-methyltransferase inhibitors or inhibitors of histone-modifying enzymes. These may reverse misregulated epigenetic states and be implemented in the treatment of cancer or other diseases, e.g., neurological disorders. Today, several epigenetic drugs are already approved by the FDA and the EMEA for cancer treatment and around ten histone deacetylase (HDAC) inhibitors are in clinical development. This review will give an update on recent clinical trials of the HDAC inhibitors used systemically that were reported in 2009 and 2010 and will present an overview of different biomarkers to monitor the biological effects