Towards optimization-safe systems: analyzing the impact of undefined behavior

This paper studies an emerging class of software bugs called optimization-unstable code: code that is unexpectedly discarded by compiler optimizations due to undefined behavior in the program. Unstable code is present in many systems, including the Linux kernel and the Postgres database. The consequences of unstable code range from incorrect functionality to missing security checks. To reason about unstable code, this paper proposes a novel model, which views unstable code in terms of optimizations that leverage undefined behavior. Using this model, we introduce a new static checker called Stack that precisely identifies unstable code. Applying Stack to widely used systems has uncovered 160 new bugs that have been confirmed and fixed by developers.United States. Defense Advanced Research Projects Agency (DARPA Clean-slate design of Resilient, Adaptive, Secure Hosts (CRASH) program under contract #N66001-10-2-4089)National Science Foundation (U.S.) (NSF award CNS-1053143

Recent fieldwork and fungarium studies double known diversity of Chlorosplenium and improve understanding of species distributions

Chlorosplenium is a small genus comprising five species of inoperculate discomycetes in the order Helotiales (Leotiomycetes) often recognizable by their bright yellowish-green colors and gregarious growth on wood. In this study, we describe five new species-C. aotearoa, C. australiense, C. cusucoense, C. epimorsicum, and C. hawaiiense-based on a combination of recent fieldwork and examination of previously collected fungarium specimens. We use an integrative taxonomic approach to support the distinction of new species, incorporating morphology and DNA sequence data with biogeography. Macro- and micromorphological features of apothecia for all species and culture characteristics for four of the five new species are documented. A multilocus phylogeny based on nuc rDNA internal transcribed spacer region ITS1-5.8S-ITS2, partial large subunit nuc ribosomal DNA (28S nuc rDNA), and A-B regions of the largest subunit of RNA polymerase II (RPB1) gene is presented. Additionally, we report Chlorosplenium chlora from Europe for the first time and expand our knowledge of the diversity and distributions of species in this genus in America, Australia, and New Zealand

The association between levels of alcohol consumption and mental health problems and academic performance among young university students

Purpose: Mental health problems and harmful alcohol consumption have been found to be high among young university students compared to the general population in Australia. This research aimed to investigate the association between levels of drinking and mental health problems and academic performance among university students aged 18 to 24 years. Methods: This study used a quantitative cross-sectional design using data that were collected in 2014 as part of the Youth Alcohol Project (YAP). Participants were randomly drawn from a cross sectional sample of 6000 undergraduate students. Included in the study were only students who were within the age of 18-24, undergraduate, and internally enrolled at the main campus. A total of 2518 undergraduate students aged 18 to 24 years who were enrolled internally at Curtin University Bentley campus were randomly recruited. Data were collected through an online survey. Students were invited to participate in the study through their student email address. The email invitations coincided with the release of semester results to increase the likelihood of students accessing their emails. A further 628 students were randomly recruited through face to face intercept survey during the campus market days. Data were collected by trained research assistants. Validated instruments were used to collected data on levels of alcohol consumption, mental health, and academic performance. Results: A considerable proportion of participants (44%) reported consuming alcohol at hazardous or harmful levels. Multiple logistic regression analysis showed that students who were consuming alcohol at hazardous levels were 1.2 times more likely to report psychological distress than those with lower levels of alcohol consumption (aOR 1.2, 95% CI: 1.1-1.5). In addition, being late for class (aOR 1.7, 95% CI:1.1-2.4), missing classes (aOR = 2.6, 95% CI: 1.9-2.6), inability to concentrate in class (aOR = 2.6, 95% CI: 1.9-3.4), and inability to complete assignments (aOR = 3.5, 95% CI 2.0-6.0) independently predicted for moderate or hazardous alcohol consumption. Conclusion: The study shows that a considerable proportion of undergraduate students at university consume alcohol at hazardous or harmful levels. In addition, high levels of alcohol consumption are associated with poor academic performance and mental health outcomes among students. The results of the study warrant multi-strategy interventions that focus on policy, organisational, educational, environmental and economic strategies that will help to reduce alcohol related harms among university students

Assessing psychological health : the contribution of psychological strengths

Balanced assessment of mental health involves assessing wellbeing and strengths as well as psychopathology. The character strengths of curiosity, gratitude, hope, optimism and forgiveness, are assessed in 214 new undergraduates and their relationships to mental health, subjective wellbeing and self-esteem explored. Scoring the mental health scale for psychiatric caseness, case and non-case students did not differ in character strengths, positive affect or life satisfaction, supporting a dual-factor model. Hope pathways and gratitude predicted mental health. Gratitude, hope agency and exploratory curiosity predicted positive affect. Gratitude and hope agency predicted life satisfaction. Hope agency, hope pathways, exploratory curiosity and gratitude predicted self-esteem, with absorption curiosity a negative predictor. The benefits of assessing strengths are discussed and interventions designed to develop them. Keywords: character strengths; mental health; subjective wellbeing; dual-factor mental health model; self-estee

The mental health of university students in the United Kingdom

There are increasing concerns globally about the mental health of students (Kadison,& Digeronimo, 2004). In the UK, the actual incidence of mental disturbance is unknown, although university counselling services report increased referrals (Association of University & College Counselling, 2011). This study assesses the levels of mental illness in undergraduate students to examine whether widening participation in education has resulted in increases as hypothesized by the UK Royal College of Psychiatrists (2003, 2011). Patterns of disturbance across years are compared to identify where problems arise. Students (N = 1197) completed the General Health Questionnaire-28 either on day one at university or midway through the academic year for first, second and third year students. Rates of mental illness in students equalled those of the general population but only 5.1% were currently receiving treatment. Second year students reported the most significant increases in psychiatric symptoms. Factors contributing to the problem are discussed

Undergraduate mental health issues: the challenge of the second year of study

Background: Student mental health is a global issue. Macaskill (2012) reported that the second year was associated with the most significant increases in psychiatric symptoms in UK students. Qualitative data were collected to explore this further. Method: Twenty-three second year undergraduate students were interviewed using a narrative interviewing method to explore their experience of their second year of study. They also completed the GHQ-28. Students were grouped according to their psychiatric caseness scores, giving two groups, a well group with scores ≤ 5 and a clinical case group with scores ≥6 and their interview data were compared. Results: Using thematic analysis, various themes and subthemes were identified. While both groups identified the same issues namely, the first year concerns impacting on the second year, course issues, careers and future employability and student debt, the groups reported very different coping styles. Conclusion: There were shared anxieties across both groups. The majority related to institutional practices and the unintended impact they may be having on student mental health. While specialist interventions would help the clinical caseness group, arguably the anxiety levels of both groups would benefit equally from relatively easy to implement, inexpensive institutional changes and/or additions to current practices in universities

Self-directed behavioral family intervention: Do therapists matter?

Behavioral family intervention is an effective form of intervention for the prevention and treatment of a wide range of emotional and behavioral problems in children. There is a growing need to address the accessibility of these services. This paper reviews the literature on self-directed interventions designed to help parents manage difficult child behaviors. Evidence regarding the efficacy of interventions is reviewed, and some of the difficulties associated with self-directed programs are discussed. The Self-directed Triple P and Teen Triple P-Positive Parenting Programs are highlighted as examples of efficacious and effective behavioral family interventions fitting into a larger multi-level model of family intervention. The discussion of the efficacy and effectiveness of self-directed Triple P has implications for service delivery of parenting programs

A review of Australian Government funding of parenting intervention research

Objectives: Parenting is central to children's optimal development and accounts for a substantial proportion of the variance in child outcomes, including up to 40% of child mental health. Parenting is also one of the most modifiable, proximal, and direct factors for preventing and treating a range of children's problems and enhancing wellbeing. To determine the effectiveness of new approaches to parenting intervention, and to evaluate how to optimise reach and uptake, sufficient funding must be allocated for high quality research. Method: We reviewed funding awarded by the National Health and Medical Research Council (NHMRC) and Australian Research Council (ARC) for parenting intervention research during 2011–2020. Results: Parenting intervention research received 0.25% of the NHMRC and ARC research budgets. Conclusions: There is a substantial mismatch between the funding of parenting intervention research and the impact of improved parenting on short- and long-term child outcomes. To rectify this, it is critical that Australian Government funding schemes include parenting interventions as priority areas for funding. Implications for public health: Changes in allocation of funding to parenting research will support the establishment of evidence for the effective development, implementation and dissemination of parenting interventions to maximise health outcomes for children and their families.</p

Ethical Issues in Open Source Software

In this essay we argue that the current social and ethical structure in the Open Source Software (OSS) Community stem from its roots in academia. The individual developers experience a level of autonomy similar to that of a faculty member. Furthermore, we assert that the Open Source Software Community\u27s social structure demands benevolent leadership. We argue that it is difficult to pass off low quality open source software as high quality software and that the Open Source development model offers strong accountability. Finally, we argue that Open Source Software introduces ethical challenges for universities and the software development community

From Producer Innovation to User and Open Collaborative Innovation

In this paper we assess the economic viability of innovation by producers relative to two increasingly important alternative models: innovations by single user individuals or firms, and open collaborative innovation. We analyze the design costs and architectures and communication costs associated with each model. We conclude that both innovation by individual users and open collaborative innovation increasingly compete with and may displace producer innovation in many parts of the economy. We explain why this represents a paradigm shift with respect to innovation research, policymaking, and practice. We discuss important implications and offer suggestions for further research