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

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

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

Enveloping Sophisticated Tools into Process-Centered Environments

We present a tool integration strategy based on enveloping pre-existing tools without source code modifications or recompilation, and without assuming an extension language, application programming interface, or any other special capabilities on the part of the tool. This Black Box enveloping (or wrapping) idea has existed for a long time, but was previously restricted to relatively simple tools. We describe the design and implementation of, and experimentation with, a new Black Box enveloping facility intended for sophisticated tools --- with particular concern for the emerging class of groupware applications

Borderline Personality Disorder Symptoms in College Students: The Complex Interplay between Alexithymia, Emotional Dysregulation and Rumination.

Both Emotional Cascade Theory and Linehan's Biosocial Theory suggest dysregulated behaviors associated with Borderline Personality Disorder (BPD) emerge, in part, because of cycles of rumination, poor emotional recognition and poor emotion regulation. In this study we examined relationships between rumination, alexithymia, and emotion regulation in predicting dysregulated behaviors associated with BPD (e.g. self-harm, substance use, aggression), and explored both indirect and moderating effects among these variables. The sample comprised 2261 college students who completed self-report measures of the aforementioned constructs. BPD symptoms, stress, family psychological illness, and alexithymia exerted direct effects on behaviors. Symptoms had an indirect effect on behaviors through rumination, alexithymia and emotional dysregulation. In addition, the relationship between symptoms and dysregulated behaviors was conditional on level of rumination and alexithymia. Implications for early identification and treatment of BPD and related behaviors in college settings are discussed