GPURepair: Automated Repair of GPU Kernels

This paper presents a tool for repairing errors in GPU kernels written in CUDA or OpenCL due to data races and barrier divergence. Our novel extension to prior work can also remove barriers that are deemed unnecessary for correctness. We implement these ideas in our tool called GPURepair, which uses GPUVerify as the verification oracle for GPU kernels. We also extend GPUVerify to support CUDA Cooperative Groups, allowing GPURepair to perform inter-block synchronization for CUDA kernels. To the best of our knowledge, GPURepair is the only tool that can propose a fix for intra-block data races and barrier divergence errors for both CUDA and OpenCL kernels and the only tool that fixes inter-block data races for CUDA kernels. We perform extensive experiments on about 750 kernels and provide a comparison with prior work. We demonstrate the superiority of GPURepair through its capability to fix more kernels and its unique ability to remove redundant barriers and handle inter-block data races.Comment: 19 pages, 1 algorithm, 3 figures, 22nd International Conference on Verification Model Checking and Abstract Interpretation (VMCAI 2021

Integrin β3 Crosstalk with VEGFR Accommodating Tyrosine Phosphorylation as a Regulatory Switch

Integrins mediate cell adhesion, migration, and survival by connecting intracellular machinery with the surrounding extracellular matrix. Previous studies demonstrated the importance of the interaction between β3 integrin and VEGF type 2 receptor (VEGFR2) in VEGF-induced angiogenesis. Here we present in vitro evidence of the direct association between the cytoplasmic tails (CTs) of β3 and VEGFR2. Specifically, the membrane-proximal motif around 801YLSI in VEGFR2 mediates its binding to non-phosphorylated β3CT, accommodating an α-helical turn in integrin bound conformation. We also show that Y747 phosphorylation of β3 enhances the above interaction. To demonstrate the importance of β3 phosphorylation in endothelial cell functions, we synthesized β3CT-mimicking Y747 phosphorylated and unphosphorylated membrane permeable peptides. We show that a peptide containing phospho-Y747 but not F747 significantly inhibits VEGF-induced signaling and angiogenesis. Moreover, phospho-Y747 peptide exhibits inhibitory effect only in WT but not in β3 integrin knock-out or β3 integrin knock-in cells expressing β3 with two tyrosines substituted for phenylalanines, demonstrating its specificity. Importantly, these peptides have no effect on fibroblast growth factor receptor signaling. Collectively these data provide novel mechanistic insights into phosphorylation dependent cross-talk between integrin and VEGFR2

Lifestyle behaviors, obesity, and perceived health among men with and without a diagnosis of prostate cancer: A population-based, cross-sectional study

<p>Abstract</p> <p>Background</p> <p>A better understanding of how prostate cancer survivors differ from men without prostate cancer and whether these potential differences vary across demographic subgroups will help to focus and prioritize future public health interventions for improving the health and well-being of prostate cancer survivors. Therefore, our study aims were to compare lifestyle behaviors, body mass index (BMI), and perceived health in men with and without a diagnosis of prostate cancer in a national, population-based sample and to explore whether these comparisons differ for demographic subgroups.</p> <p>Methods</p> <p>In a cross-sectional study, men aged ≥ 40 were identified from the Behavioral Risk Factor Surveillance System (BRFSS) 2002 data (n = 63,662). Respondents reporting history of prostate cancer (n = 2,524) were compared with non prostate cancer controls (n = 61,138) with regard to daily fruit and vegetable servings (FVPD), smoking, alcohol, sedentary behavior, BMI, and perceived health. Multivariable logistic regression calculated adjusted odds ratios (OR) and 95% confidence intervals (CI) for the entire sample and for age, race, education, and urbanicity subgroups.</p> <p>Results</p> <p>Men with prostate cancer did not differ from men without prostate cancer with regard to smoking, alcohol, sedentary behavior, and obesity but were more likely to consume ≥ 5 FVPD (OR, 95% CI: 1.30, 1.09–1.56) and report poor or fair health (OR, 95% CI: 1.62, 1.33–1.97). Subgroup analyses demonstrated attenuation of the higher likelihood of ≥ 5 FVPD among prostate cancer survivors in rural respondents (OR, 95% CI: 0.98, 0.72–1.33). Poorer perceived health was greatest if ≤ 65 years of age (OR, 95% CI: 2.54, 1.79–3.60) and nonsignificant if black (OR, 95% CI: 1.41, 0.70–2.82). Smoking and alcohol which were not significant for the sample as a whole, demonstrated significant associations in certain subgroups.</p> <p>Conclusion</p> <p>Although efforts to enhance perceived health and healthy lifestyle behaviors among prostate cancer survivors are warranted, demographic subgroups such as prostate cancer survivors ≤ 65 and rural populations may require more aggressive interventions.</p

Coping with the economic burden of Diabetes, TB and co-prevalence - Evidence from Bishkek, Kyrgyzstan

Background: The increasing number of patients co-affected with Diabetes and TB may place individuals with low socio-economic status at particular risk of persistent poverty. Kyrgyz health sector reforms aim at reducing this burden, with the provision of essential health services free at the point of use through a State-Guaranteed Benefit Package (SGBP). However, despite a declining trend in out-of-pocket expenditure, there is still a considerable funding gap in the SGBP. Using data from Bishkek, Kyrgyzstan, this study aims to explore how households cope with the economic burden of Diabetes, TB and co-prevalence. Methods: This study uses cross-sectional data collected in 2010 from Diabetes and TB patients in Bishkek, Kyrgyzstan. Quantitative questionnaires were administered to 309 individuals capturing information on patients' socioeconomic status and a range of coping strategies. Coarsened exact matching (CEM) is used to generate socio-economically balanced patient groups. Descriptive statistics and logistic regression are used for data analysis. Results: TB patients are much younger than Diabetes and co-affected patients. Old age affects not only the health of the patients, but also the patient's socio-economic context. TB patients are more likely to be employed and to have higher incomes while Diabetes patients are more likely to be retired. Co-affected patients, despite being in the same age group as Diabetes patients, are less likely to receive pensions but often earn income in informal arrangements. Out-of-pocket (OOP) payments are higher for Diabetes care than for TB care. Diabetes patients cope with the economic burden by using social welfare support. TB patients are most often in a position to draw on income or savings. Co-affected patients are less likely to receive social welfare support than Diabetes patients. Catastrophic health spending is more likely in Diabetes and co-affected patients than in TB patients. Conclusions: This study shows that while OOP are moderate for TB affected patients, there are severe consequences for Diabetes affected patients. As a result of the underfunding of the SGBP, Diabetes and co-affected patients are challenged by OOP. Especially those who belong to lower socio-economic groups are challenged in coping with the economic burden

Multi-Modal Proteomic Analysis of Retinal Protein Expression Alterations in a Rat Model of Diabetic Retinopathy

As a leading cause of adult blindness, diabetic retinopathy is a prevalent and profound complication of diabetes. We have previously reported duration-dependent changes in retinal vascular permeability, apoptosis, and mRNA expression with diabetes in a rat model system. The aim of this study was to identify retinal proteomic alterations associated with functional dysregulation of the diabetic retina to better understand diabetic retinopathy pathogenesis and that could be used as surrogate endpoints in preclinical drug testing studies.A multi-modal proteomic approach of antibody (Luminex)-, electrophoresis (DIGE)-, and LC-MS (iTRAQ)-based quantitation methods was used to maximize coverage of the retinal proteome. Transcriptomic profiling through microarray analysis was included to identify additional targets and assess potential regulation of protein expression changes at the mRNA level. The proteomic approaches proved complementary, with limited overlap in proteomic coverage. Alterations in pro-inflammatory, signaling and crystallin family proteins were confirmed by orthogonal methods in multiple independent animal cohorts. In an independent experiment, insulin replacement therapy normalized the expression of some proteins (Dbi, Anxa5) while other proteins (Cp, Cryba3, Lgals3, Stat3) were only partially normalized and Fgf2 and Crybb2 expression remained elevated.These results expand the understanding of the changes in retinal protein expression occurring with diabetes and their responsiveness to normalization of blood glucose through insulin therapy. These proteins, especially those not normalized by insulin therapy, may also be useful in preclinical drug development studies

Interference of H-bonding and substituent effects in nitro- and hydroxy-substituted salicylaldehydes

Two intramolecular interactions, i.e., (1) hydrogen bond and (2) substituent effect, were analyzed and compared. For this purpose, the geometry of 4- and 5-X-substituted salicylaldehyde derivatives (X = NO2, H or OH) was optimized by means of B3LYP/6-311 + G(d,p) and MP2/aug-cc-pVDZ methods. The results obtained allowed us to show that substituents (NO2 or OH) in the para or meta position with respect to either OH or CHO in H-bonded systems interact more strongly than in the case of di-substituted species: 4- and 3-nitrophenol or 4- and 3-hydroxybenzaldehyde by ∼31%. The substituent effect due to the intramolecular charge transfer from the para-counter substituent (NO2) to the proton-donating group (OH) is ∼35% greater than for the interaction of para-OH with the proton-accepting group (CHO). The total energy of H-bonding for salicylaldehyde, and its derivatives, is composed of two contributions: ∼80% from the energy of H-bond formation and ∼20% from the energy associated with reorganization of the electron structure of the systems in question

Hsp-27 expression at diagnosis predicts poor clinical outcome in prostate cancer independent of ETS-gene rearrangement

BACKGROUND: This study was performed to test the hypothesis that expression of small heat shock protein Hsp-27 is, at diagnosis, a reliable predictive biomarker of clinically aggressive prostate cancer. METHODS: A panel of tissue microarrays constructed from a well-characterised cohort of 553 men with conservatively managed prostate cancer was stained immunohistochemically to detect Hsp-27 protein. Hsp-27 expression was compared with a series of pathological and clinical parameters, including outcome. RESULTS: Hsp-27 staining was indicative of higher Gleason score (P7, the presence of Hsp-27 retained its power to independently predict poor clinical outcome (P<0.002). Higher levels of Hsp-27 staining were almost entirely restricted to cancers lacking ERG rearrangements (chi2 trend=31.4, P<0.001), although this distribution did not have prognostic significance. INTERPRETATION: This study has confirmed that, in prostate cancers managed conservatively over a period of more than 15 years, expression of Hsp-27 is an accurate and independent predictive biomarker of aggressive disease with poor clinical outcome (P<0.001). These findings suggest that apoptotic and cell-migration pathways modulated by Hsp-27 may contain targets susceptible to the development of biologically appropriate chemotherapeutic agents that are likely to prove effective in treating aggressive prostate cancers