Precise Null Pointer Analysis Through Global Value Numbering

Precise analysis of pointer information plays an important role in many static analysis techniques and tools today. The precision, however, must be balanced against the scalability of the analysis. This paper focusses on improving the precision of standard context and flow insensitive alias analysis algorithms at a low scalability cost. In particular, we present a semantics-preserving program transformation that drastically improves the precision of existing analyses when deciding if a pointer can alias NULL. Our program transformation is based on Global Value Numbering, a scheme inspired from compiler optimizations literature. It allows even a flow-insensitive analysis to make use of branch conditions such as checking if a pointer is NULL and gain precision. We perform experiments on real-world code to measure the overhead in performing the transformation and the improvement in the precision of the analysis. We show that the precision improves from 86.56% to 98.05%, while the overhead is insignificant.Comment: 17 pages, 1 section in Appendi

Non-Invasive In Vivo Imaging of Calcium Signaling in Mice

Rapid and transient elevations of Ca2+ within cellular microdomains play a critical role in the regulation of many signal transduction pathways. Described here is a genetic approach for non-invasive detection of localized Ca2+ concentration ([Ca2+]) rises in live animals using bioluminescence imaging (BLI). Transgenic mice conditionally expressing the Ca2+-sensitive bioluminescent reporter GFP-aequorin targeted to the mitochondrial matrix were studied in several experimental paradigms. Rapid [Ca2+] rises inside the mitochondrial matrix could be readily detected during single-twitch muscle contractions. Whole body patterns of [Ca2+] were monitored in freely moving mice and during epileptic seizures. Furthermore, variations in mitochondrial [Ca2+] correlated to behavioral components of the sleep/wake cycle were observed during prolonged whole body recordings of newborn mice. This non-invasive imaging technique opens new avenues for the analysis of Ca2+ signaling whenever whole body information in freely moving animals is desired, in particular during behavioral and developmental studies

Wnt signaling in triple-negative breast cancer

Wnt signaling regulates a variety of cellular processes, including cell fate, differentiation, proliferation and stem cell pluripotency. Aberrant Wnt signaling is a hallmark of many cancers. An aggressive subtype of breast cancer, known as triple-negative breast cancer (TNBC), demonstrates dysregulation in canonical and non-canonical Wnt signaling. In this review, we summarize regulators of canonical and non-canonical Wnt signaling, as well as Wnt signaling dysfunction that mediates the progression of TNBC. We review the complex molecular nature of TNBC and the emerging therapies that are currently under investigation for the treatment of this disease

Noninvasive Monitoring of Placenta-Specific Transgene Expression by Bioluminescence Imaging

BACKGROUND: Placental dysfunction underlies numerous complications of pregnancy. A major obstacle to understanding the roles of potential mediators of placental pathology has been the absence of suitable methods for tissue-specific gene manipulation and sensitive assays for studying gene functions in the placentas of intact animals. We describe a sensitive and noninvasive method of repetitively tracking placenta-specific gene expression throughout pregnancy using lentivirus-mediated transduction of optical reporter genes in mouse blastocysts. METHODOLOGY/PRINCIPAL FINDINGS: Zona-free blastocysts were incubated with lentivirus expressing firefly luciferase (Fluc) and Tomato fluorescent fusion protein for trophectoderm-specific infection and transplanted into day 3 pseudopregnant recipients (GD3). Animals were examined for Fluc expression by live bioluminescence imaging (BLI) at different points during pregnancy, and the placentas were examined for tomato expression in different cell types on GD18. In another set of experiments, blastocysts with maximum photon fluxes in the range of 2.0E+4 to 6.0E+4 p/s/cm(2)/sr were transferred. Fluc expression was detectable in all surrogate dams by day 5 of pregnancy by live imaging, and the signal increased dramatically thereafter each day until GD12, reaching a peak at GD16 and maintaining that level through GD18. All of the placentas, but none of the fetuses, analyzed on GD18 by BLI showed different degrees of Fluc expression. However, only placentas of dams transferred with selected blastocysts showed uniform photon distribution with no significant variability of photon intensity among placentas of the same litter. Tomato expression in the placentas was limited to only trophoblast cell lineages. CONCLUSIONS/SIGNIFICANCE: These results, for the first time, demonstrate the feasibility of selecting lentivirally-transduced blastocysts for uniform gene expression in all placentas of the same litter and early detection and quantitative analysis of gene expression throughout pregnancy by live BLI. This method may be useful for a wide range of applications involving trophoblast-specific gene manipulations in utero

Physicochemical conditions and timing of rodingite formation: evidence from rodingite-hosted fluid inclusions in the JM Asbestos mine, Asbestos, Québec

Fluid inclusions and geological relationships indicate that rodingite formation in the Asbestos ophiolite, Québec, occurred in two, or possibly three, separate episodes during thrusting of the ophiolite onto the Laurentian margin, and that it involved three fluids. The first episode of rodingitization, which affected diorite, occurred at temperatures of between 290 and 360°C and pressures of 2.5 to 4.5 kbar, and the second episode, which affected granite and slate, occurred at temperatures of between 325 and 400°C and pressures less than 3 kbar. The fluids responsible for these episodes of alteration were moderately to strongly saline (~1.5 to 6.3 m eq. NaCl), rich in divalent cations and contained appreciable methane. A possible third episode of alteration is suggested by primary fluid inclusions in vesuvianite-rich bodies and secondary inclusions in other types of rodingite, with significantly lower trapping temperatures, salinity and methane content. The association of the aqueous fluids with hydrocarbon-rich fluids containing CH4 and higher order alkanes, but no CO2, suggests strongly that the former originated from the serpentinites. The similarities in the composition of the fluids in all rock types indicate that the ophiolite had already been thrust onto the slates when rodingitization occurred

Reelin Secreted by GABAergic Neurons Regulates Glutamate Receptor Homeostasis

BACKGROUND: Reelin is a large secreted protein of the extracellular matrix that has been proposed to participate to the etiology of schizophrenia. During development, reelin is crucial for the correct cytoarchitecture of laminated brain structures and is produced by a subset of neurons named Cajal-Retzius. After birth, most of these cells degenerate and reelin expression persists in postnatal and adult brain. The phenotype of neurons that bind secreted reelin and whether the continuous secretion of reelin is required for physiological functions at postnatal stages remain unknown. METHODOLOGY/PRINCIPAL FINDINGS: Combining immunocytochemical and pharmacological approaches, we first report that two distinct patterns of reelin expression are present in cultured hippocampal neurons. We show that in hippocampal cultures, reelin is secreted by GABAergic neurons displaying an intense reelin immunoreactivity (IR). We demonstrate that secreted reelin binds to receptors of the lipoprotein family on neurons with a punctate reelin IR. Secondly, using calcium imaging techniques, we examined the physiological consequences of reelin secretion blockade. Blocking protein secretion rapidly and reversibly changes the subunit composition of N-methyl-D-aspartate glutamate receptors (NMDARs) to a predominance of NR2B-containing NMDARs. Addition of recombinant or endogenously secreted reelin rescues the effects of protein secretion blockade and reverts the fraction of NR2B-containing NMDARs to control levels. Therefore, the continuous secretion of reelin is necessary to control the subunit composition of NMDARs in hippocampal neurons. CONCLUSIONS/SIGNIFICANCE: Our data show that the heterogeneity of reelin immunoreactivity correlates with distinct functional populations: neurons synthesizing and secreting reelin and/or neurons binding reelin. Furthermore, we show that continuous reelin secretion is a strict requirement to maintain the composition of NMDARs. We propose that reelin is a trans-neuronal messenger secreted by GABAergic neurons that regulates NMDARs homeostasis in postnatal hippocampus. Defects in reelin secretion could play a major role in the development of neuropsychiatric disorders, particularly those associated with deregulation of NMDARs such as schizophrenia

Nucleolin Inhibits G4 Oligonucleotide Unwinding by Werner Helicase

The Werner protein (WRNp), a member of the RecQ helicase family, is strongly associated with the nucleolus, as is nucleolin (NCL), an important nucleolar constituent protein. Both WRNp and NCL respond to the effects of DNA damaging agents. Therefore, we have investigated if these nuclear proteins interact and if this interaction has a possible functional significance in DNA damage repair.Here we report that WRNp interacts with the RNA-binding protein, NCL, based on immunoprecipitation, immunofluorescent co-localization in live and fixed cells, and direct binding of purified WRNp to nucleolin. We also map the binding region to the C-terminal domains of both proteins. Furthermore, treatment of U2OS cells with 15 µM of the Topoisomerase I inhibitor, camptothecin, causes the dissociation of the nucleolin-Werner complex in the nucleolus, followed by partial re-association in the nucleoplasm. Other DNA damaging agents, such as hydroxyurea, Mitomycin C, and aphidicolin do not have these effects. Nucleolin or its C-terminal fragment affected the helicase, but not the exonuclease activity of WRNp, by inhibiting WRN unwinding of G4 tetraplex DNA structures, as seen in activity assays and electrophoretic mobility shift assays (EMSA).These data suggest that nucleolin may regulate G4 DNA unwinding by WRNp, possibly in response to certain DNA damaging agents. We postulate that the NCL-WRNp complex may contain an inactive form of WRNp, which is released from the nucleolus upon DNA damage. Then, when required, WRNp is released from inhibition and can participate in the DNA repair processes

Specificity in Personality Measurement

Born, M.P.H. [Promotor]Vries, R.E. de [Copromotor