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

On the statistics of superlocalized states in self-affine disordered potentials

We investigate the statistics of eigenstates in a weak self-affine disordered potential in one dimension, whose Gaussian fluctuations grow with distance with a positive Hurst exponent $H$. Typical eigenstates are superlocalized on samples much larger than a well-defined crossover length, which diverges in the weak-disorder regime. We present a parallel analytical investigation of the statistics of these superlocalized states in the discrete and the continuum formalisms. For the discrete tight-binding model, the effective localization length decays logarithmically with the sample size, and the logarithm of the transmission is marginally self-averaging. For the continuum Schr\"odinger equation, the superlocalization phenomenon has more drastic effects. The effective localization length decays as a power of the sample length, and the logarithm of the transmission is fully non-self-averaging.Comment: 21 pages, 6 figure

Fatores de risco para diabetes mellitus tipo 2 entre adolescentes

O estudo teve como objetivo identificar fatores de risco para diabetes tipo 2 (DM 2) em uma população de adolescentes de escolas particulares de Fortaleza, Brasil. Foram avaliados 794 alunos, de 12 a 17 anos, em doze escolas, nos meses de maio, junho, agosto e setembro de 2007. Aplicou-se um formulário abordando aspectos sociodemográficos, IMC, pressão arterial, glicemia capilar e sedentarismo. Aproximadamente 24% dos participantes tinham o IMC elevado, 65% eram sedentários e 51% tinham antecedentes familiares de DM 2. Naqueles com maior renda, 73,5% tinham antecedentes familiares de DM 2 (p=0,04). Por volta de 39% dos adolescentes apresentavam pelo menos dois fatores de risco para DM 2. A maior parte dos fatores de risco para DM 2, identificados neste estudo, são modificáveis, portanto passíveis de intervenções preventivas no contexto escolar.El estudio tuvo como objetivo identificar factores de riesgo para diabetes tipo 2 en una población de adolescentes de escuelas particulares de Fortaleza, Brasil. Fueron evaluados 794 alumnos de entre 12 y 17 años, pertenecientes a doce escuelas, en los meses de mayo, junio, agosto y setiembre de 2007. Se utilizó un formulario abordando aspectos sociodemográficos, IMC, presión arterial, glucemia y sedentarismo. Aproximadamente 24% de los participantes tenía su IMC elevado, 65% eran sedentarios y 51% contaba con antecedentes familiares de DM 2. Entre aquellos con mayores ingresos, 73,5% tenía antecedencia familiar de DM 2 (p=0,04). Aproximadamente el 39% de los adolescentes presentaba al menos dos factores de riesgo para DM 2. La mayor parte de los factores de riesgo para DM 2 identificados en este estudio son modificables, por lo tanto, pasibles de intervenciones preventivas en el contexto escolar.The objective of this study was to identify risk factors for type 2 diabetes (DM2) in a population of private schools adolescents of Fortaleza - Brazil. A total 794 students aged 12 to 17 years, from 12 schools, were evaluated in the months of May, June, August and September 2007. A form was applied approaching sociodemographics aspects, BMI, blood pressure, capillary glycemia and sedentary lifestyle. Approximately 24% of the participants had high BMI, 65% were sedentary and 51% had family history of DM2. In those with larger income, 73.5% had family history of DM2 (p=0.04). About 39% of the adolescents had at least two risk factors for DM2. Most of the risk factors for DM2 identified in this study are changeable, therefore, susceptible to preventive interventions in the school setting

The program for biodiversity research in Brazil: The role of regional networks for biodiversity knowledge, dissemination, and conservation

The Program for Biodiversity Research (PPBio) is an innovative program designed to integrate all biodiversity research stakeholders. Operating since 2004, it has installed long-term ecological research sites throughout Brazil and its logic has been applied in some other southern-hemisphere countries. The program supports all aspects of research necessary to understand biodiversity and the processes that affect it. There are presently 161 sampling sites (see some of them at Supplementary Appendix), most of which use a standardized methodology that allows comparisons across biomes and through time. To date, there are about 1200 publications associated with PPBio that cover topics ranging from natural history to genetics and species distributions. Most of the field data and metadata are available through PPBio web sites or DataONE. Metadata is available for researchers that intend to explore the different faces of Brazilian biodiversity spatio-temporal variation, as well as for managers intending to improve conservation strategies. The Program also fostered, directly and indirectly, local technical capacity building, and supported the training of hundreds of undergraduate and graduate students. The main challenge is maintaining the long-term funding necessary to understand biodiversity patterns and processes under pressure from global environmental changes

Early and Late Pathogenic Events of Newborn Mice Encephalitis Experimentally Induced by Itacaiunas and Curionópolis Bracorhabdoviruses Infection

In previous reports we proposed a new genus for Rhabdoviridae and described neurotropic preference and gross neuropathology in newborn albino Swiss mice after Curionopolis and Itacaiunas infections. In the present report a time-course study of experimental encephalitis induced by Itacaiunas and Curionopolis virus was conducted both in vivo and in vitro to investigate cellular targets and the sequence of neuroinvasion. We also investigate, after intranasal inoculation, clinical signs, histopathology and apoptosis in correlation with viral immunolabeling at different time points. Curionopolis and Itacaiunas viral antigens were first detected in the parenchyma of olfactory pathways at 2 and 3 days post-inoculation (dpi) and the first clinical signs were observed at 4 and 8 dpi, respectively. After Curionopolis infection, the mortality rate was 100% between 5 and 6 dpi, and 35% between 8 and 15 dpi after Itacaiunas infection. We identified CNS mice cell types both in vivo and in vitro and the temporal sequence of neuroanatomical olfactory areas infected by Itacaiunas and Curionopolis virus. Distinct virulences were reflected in the neuropathological changes including TUNEL immunolabeling and cytopathic effects, more intense and precocious after intracerebral or in vitro inoculations of Curionopolis than after Itacaiunas virus. In vitro studies revealed neuronal but not astrocyte or microglial cytopathic effects at 2 dpi, with monolayer destruction occurring at 5 and 7 dpi with Curionopolis and Itacaiunas virus, respectively. Ultrastructural changes included virus budding associated with interstitial and perivascular edema, endothelial hypertrophy, a reduced and/or collapsed small vessel luminal area, thickening of the capillary basement membrane, and presence of phagocytosed apoptotic bodies. Glial cells with viral budding similar to oligodendrocytes were infected with Itacaiunas virus but not with Curionopolis virus. Thus, Curionopolis and Itacaiunas viruses share many pathological and clinical features present in other rhabdoviruses but distinct virulence and glial targets in newborn albino Swiss mice brain