What Developers Want and Need from Program Analysis: An Empirical Study

Program Analysis has been a rich and fruitful field of research for many decades, and countless high quality program analysis tools have been produced by academia. Though there are some well-known examples of tools that have found their way into routine use by practitioners, a common challenge faced by researchers is knowing how to achieve broad and lasting adoption of their tools. In an effort to understand what makes a program analyzer most attractive to developers, we mounted a multi-method investigation at Microsoft. Through interviews and surveys of developers as well as analysis of defect data, we provide insight and answers to four high level research questions that can help researchers design program analyzers meeting the needs of software developers. First, we explore what barriers hinder the adoption of program analyzers, like poorly expressed warning messages. Second, we shed light on what functionality developers want from analyzers, including the types of code issues that developers care about. Next, we answer what non-functional characteristics an analyzer should have to be widely used, how the analyzer should fit into the development process, and how its results should be reported. Finally, we investigate defects in one of Microsoft's flagship software services, to understand what types of code issues are most important to minimize, potentially through program analysis

The Tourist Experience of Heritage Urban Spaces: Valletta as a Case Study

This article provides an understanding of how tourists experience heritage urban spaces by investigating features that influence tourist experiences most. It is framed within urban design literature which refers to three elements of urban space namely physical setting (or form), activity, and meaning. These elements are used to explore how urban spaces are experienced by tourists. Its findings are derived from an in-depth qualitative analysis of interviews with tourists to Valletta, Malta. The research suggests that the intrinsic qualities of the space are relevant to the tourist experience but what is even more relevant are the interactions of the tourist with different elements within that space, namely interactions with surroundings, interactions with others, and interactions with self/meaning. Within this broad conceptual model, the research identifies important sub-themes. Some of these reinforce the findings of existing work on tourist experiences, but others are often under-estimated or neglected

Developments in Transduction, Connectivity and AI/Machine Learning for Point-of-Care Testing

We review some emerging trends in transduction, connectivity and data analytics for Point-of-Care Testing (POCT) of infectious and non-communicable diseases. The patient need for POCT is described along with developments in portable diagnostics, specifically in respect of Lab-on-chip and microfluidic systems. We describe some novel electrochemical and photonic systems and the use of mobile phones in terms of hardware components and device connectivity for POCT. Developments in data analytics that are applicable for POCT are described with an overview of data structures and recent AI/Machine learning trends. The most important methodologies of machine learning, including deep learning methods, are summarised. The potential value of trends within POCT systems for clinical diagnostics within Lower Middle Income Countries (LMICs) and the Least Developed Countries (LDCs) are highlighted

Misty, Spellbound and the lost Gothic of British girls’ comics.

This article is a case study of the 1970s British girls’ comics Spellbound (DC Thomson, 1976–1977) and Misty (IPC, 1978–1980). These mystery anthology comics followed the more famous American horror comics from publishers like EC Comics - but were aimed at pre-teen girls. The article situates these comics with respect to Gothic critical theory and within the wider landscape of British girls’ comics. Firstly, it closely considers and compares the structure and content of their stories with respect to theories of the terror and horror Gothic. It discovers that both comics offer similar fare, with a subversive streak that undercuts established horror archetypes. The article then looks closely at both titles’ aesthetics and their use of the page to draw comparisons. It uses comics theory and Gothic cinematic theory to demonstrate that the appearance of Misty is more strongly Gothic than the aesthetic of Spellbound. Finally, it considers a selection of stories from both comics and analyses their common themes using Gothic critical theory. It argues that both comics rework Gothic themes into new forms that are relevant to their pre-teen and teenage readers. It concludes by summarising the study’s findings and suggesting that these comics offer a “Gothic for Girls” that is part cautionary tale and part bildungsroman. This article is published as part of a collection on Gothic and horror

Structure–activity relationships on the odor detectability of homologous carboxylic acids by humans

We measured concentration detection functions for the odor detectability of the homologs: formic, acetic, butyric, hexanoic, and octanoic acids. Subjects (14 ≤ n ≤ 18) comprised young (19–37 years), healthy, nonsmoker, and normosmic participants from both genders. Vapors were delivered by air dilution olfactometry, using a three-alternative forced-choice procedure against carbon-filtered air, and an ascending concentration approach. Delivered concentrations were established by gas chromatography (flame ionization detector) in parallel with testing. Group and individual olfactory functions were modeled by a sigmoid (logistic) equation from which two parameters are calculated: C, the odor detection threshold (ODT) and D, the steepness of the function. Thresholds declined with carbon chain length along formic, acetic, and butyric acid where they reached a minimum (ODTs = 514, 5.2, and 0.26 ppb by volume, respectively). Then, they increased for hexanoic (1.0 ppb) and octanoic (0.86 ppb) acid. Odor thresholds and interindividual differences in olfactory acuity among these young, normosmic participants were lower than traditionally thought and reported. No significant effects of gender on odor detectability were observed. The finding of an optimum molecular size for odor potency along homologs confirms a prediction made by a model of ODTs based on a solvation equation. We discuss the mechanistic implications of this model for the process of olfactory detection

Global Impact of the COVID-19 Pandemic on Cerebral Venous Thrombosis and Mortality

Background and purpose: Recent studies suggested an increased incidence of cerebral venous thrombosis (CVT) during the coronavirus disease 2019 (COVID-19) pandemic. We evaluated the volume of CVT hospitalization and in-hospital mortality during the 1st year of the COVID-19 pandemic compared to the preceding year. Methods: We conducted a cross-sectional retrospective study of 171 stroke centers from 49 countries. We recorded COVID-19 admission volumes, CVT hospitalization, and CVT in-hospital mortality from January 1, 2019, to May 31, 2021. CVT diagnoses were identified by International Classification of Disease-10 (ICD-10) codes or stroke databases. We additionally sought to compare the same metrics in the first 5 months of 2021 compared to the corresponding months in 2019 and 2020 (ClinicalTrials.gov Identifier: NCT04934020). Results: There were 2,313 CVT admissions across the 1-year pre-pandemic (2019) and pandemic year (2020); no differences in CVT volume or CVT mortality were observed. During the first 5 months of 2021, there was an increase in CVT volumes compared to 2019 (27.5%; 95% confidence interval [CI], 24.2 to 32.0; P<0.0001) and 2020 (41.4%; 95% CI, 37.0 to 46.0; P<0.0001). A COVID-19 diagnosis was present in 7.6% (132/1,738) of CVT hospitalizations. CVT was present in 0.04% (103/292,080) of COVID-19 hospitalizations. During the first pandemic year, CVT mortality was higher in patients who were COVID positive compared to COVID negative patients (8/53 [15.0%] vs. 41/910 [4.5%], P=0.004). There was an increase in CVT mortality during the first 5 months of pandemic years 2020 and 2021 compared to the first 5 months of the pre-pandemic year 2019 (2019 vs. 2020: 2.26% vs. 4.74%, P=0.05; 2019 vs. 2021: 2.26% vs. 4.99%, P=0.03). In the first 5 months of 2021, there were 26 cases of vaccine-induced immune thrombotic thrombocytopenia (VITT), resulting in six deaths. Conclusions: During the 1st year of the COVID-19 pandemic, CVT hospitalization volume and CVT in-hospital mortality did not change compared to the prior year. COVID-19 diagnosis was associated with higher CVT in-hospital mortality. During the first 5 months of 2021, there was an increase in CVT hospitalization volume and increase in CVT-related mortality, partially attributable to VITT

Cultural Activism and the Politics of Place-Making

In this paper, we explore the relationship between creative practice, activism and urban place-making by considering the role they play in the construction of meaning in urban spaces. Through an analysis of two activist groups based in Stokes Croft, Bristol (UK), we argue that cultural activism provides new political prospects within the wider context of global capitalism through the cultivation of a shared aesthetics of protest. By cultivating aspects of shared history and a mutual enthusiasm for creative practice as a form of resistance, Stokes Croft has emerged as a ‘space of nurturance’ for creative sensibilities. However, we note how Stokes Croft as an autonomous space remains open-ended and multiple for activists interested in promoting different visions of social justice