Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types

Type unions, pointer variables and function pointers are a long standing source of subtle security bugs in C program code. Their use can lead to hard-to-diagnose crashes or exploitable vulnerabilities that allow an attacker to attain privileged access over classified data. This paper describes an automatable framework for detecting such weaknesses in C programs statically, where possible, and for generating assertions that will detect them dynamically, in other cases. Exclusively based on analysis of the source code, it identifies required assertions using a type inference system supported by a custom made symbol table. In our preliminary findings, our type system was able to infer the correct type of unions in different scopes, without manual code annotations or rewriting. Whenever an evaluation is not possible or is difficult to resolve, appropriate runtime assertions are formed and inserted into the source code. The approach is demonstrated via a prototype C analysis tool.

Proactive communication management beats hostile media exposure : training for multi-cultural community leaders in living with mass media

Proactive communication management instead of mortification in the glare of hostile media attention became the theme of a four-day training program for multi-cultural community leaders, the object of this research. The program in Brisbane from December 2009 through to February this year was conducted under auspices of a Community Media Link grant program shared by Griffith University and the Queensland Ethnic Communities Council, together with Journalism academics from the Queensland University of Technology. Twenty-eight participants from 23 organisations took part, with a team of nine facilitators from the host organisations, and guest presenters from the news media. This paper reviews the process, taking into account: its objectives, to empower participants by showing how Australian media operate and introducing participants to journalists; pedagogical thrust, where overview talks, with role play seminars with guest presenters from the media, were combined with practice in interviews and writing for media; and outcomes, assessed on the basis of participants’ responses. The research methodology is qualitative, in that the study is based on discussions to review the planning and experience of sessions, and anonymous, informal feed-back questionnaires distributed to the participants. Background literature on multiculturalism and community media was referred to in the study. The findings indicate positive outcomes for participants from this approach to protection of persons unversed in living in the Australian “mediatised” environment. Most affirmed that the “production side” perspective of the exercise had informed and motivated them effectively, such that henceforth they would venture far more into media management, in their community leadership roles.

Finding the remote: Immersive learning in an outback community

Real-world design education projects present particular challenges when in a place remote from and distinctively different to students’ familiar territory. The teaching challenge is to assist students to translate the skills they learn at university into an entirely new context, facilitating a project they will learn from, and the community will value. In 2008 QUT design and engineering students undertook a project called Linking Karumba for this remote Queensland town. They engaged with a landscape, climate and community dramatically different from their base in urban Brisbane, and in a fortnight produced locally responsive strategic planning options. The theoretical approach to this was twofold: they needed to make a rapid shift along a continuum from being “outsiders” towards becoming “insiders” (Relph 1976), and to create designs responsive to local distinctiveness (Cumberlidge and Musgrave 2007). This paper outlines Linking Karumba’s teaching strategy via an analogy with the “immersion” method in bilingual education. Three teaching methods were adopted. Firstly, the overall framework drew on Brockbank and McGill (1998), and Thomas’ (2006a) approaches to student reflective practice. Within this, Girot’s “Four Trace Concepts” (1999) inspired exercises for finding Karumba and moving toward insideness; and a program of community engagement sought immersion in local distinctiveness, and “conversation” between the differing forms of knowledge and capacities embedded within the community and students (Armstrong 1999, Thomas 2006). The responsiveness of the student work to the character of Karumba’s culture and environment indicated remarkable levels of immersion, and the community highly valued the project outcomes: four strategic planning options which attracted $830 000 in state government funding for implementation.

Slum free India program. Report on the findings and recommendations of QUT BEE workshop to investigate strategies to deliver better outcomes

As a result of a broad invitation extended by Professor Martin Betts, Executive Dean of the Faculty of Built Environment and Engineering, to the community of interest at QUT, a cross-disciplinary collaborative workshop was conducted to contribute ideas about responding to the Government of India’s urgent requirement to implement a program to re-house slum dwellers. This is a complex problem facing the Indian Ministry of Housing. Not only does the government aspire to eradicate existing slum conditions and to achieve tangible results within five years, but it must also ensure that slums do not form in the future. The workshop focused on technological innovation in construction to deliver transformation from the current unsanitary and overcrowded informal urban settlements to places that provide the economically weaker sections of Indian society with healthy, environmentally sustainable, economically viable mass housing that supports successful urban living. The workshop was conducted in two part process as follows: Initially, QUT academics from diverse fields shared current research and provided technical background to contextualise the challenge at a pre-workshop briefing session. This was followed by a one-day workshop during which participants worked intensively in multi-disciplinary groups through a series of exercises to develop innovative approaches to the complex problem of slum redevelopment. Dynamic, compressed work sessions, interspersed with cross-functional review and feedback by the whole group took place throughout the day. Reviews emphasised testing the concepts for their level of complexity, and likelihood of success. The two-stage workshop process achieved several objectives:  Inspired a sense of shared purpose amongst a diverse group of academics  Built participants’ knowledge of each other’s capacity  Engaged multi disciplinary team in an innovative design research process  Built participants’ confidence in the collaborative process  Demonstrated that collaborative problem solving can create solutions that represent transformative change.  Developed a framework of how workable solutions might be developed for the program through follow up workshops and charrettes of a similar nature involving stakeholders drawn from the context of the slum housing program management.

Alcohol expectancy changes over a 12-week cognitive–behavioral therapy program are predictive of treatment success

This study examines if outcome expectancies (perceived consequences of engaging in certain behavior) and self- efficacy expectancies (confidence in personal capacity to regulate behavior) contribute to treatment outcome for alcohol dependence. Few clinical studies have examined these constructs. The Drinking Expectancy Profile (DEP), a psychometric measure of alcohol expectancy and drinking refusal selfefficacy, was administered to 298 alcohol-dependent patients (207 males) at assessment and on completion of a 12-week cognitive–behavioral therapy alcohol abstinence program. Baseline measures of expectancy and self-efficacy were not strong predictors of outcome. However, for the 164 patients who completed treatment, all alcohol expectancy and self-efficacy factors of the DEP showed change over time. The DEP scores approximated community norms at the end of treatment. Discriminant analysis indicated that change in social pressure drinking refusal self-efficacy, sexual enhancement expectancies, and assertion expectancies successfully discriminated those who successfully completed treatment from those who did not. Future research should examine the basis of expectancies related to social functioning as a possible mechanism of treatment response and a means to enhance treatment outcome.

Early Intervention Program Final Evaluation Report

The Early Intervention Program aims to facilitate contact between children and their non-residential parent as soon as practicable after breakdown and separation of the immediate family unit. The Program is auspiced by the Sunshine Coast Family Contact Centre Association. The Program has been offered since late 2007 following receipt of a grant from the National Community Crime Prevention Program [NCCP] for Domestic Violence Prevention. This external evaluator report summarised main achievements with respect to meeting program objectives and also makes recommentations in view the of the continuation of this innovative program.

Investigating the process of teaching and learning principles through practice : a case study on collegiate action by media practitioners and teachers, designing a skills-based learning program

This paper in the journalism education field reports on the construction of a new subject as part of a postgraduate coursework degree. The subject, or unit1 will offer both Journalism students and other students an introductory experience of creating media, using common ‘new media’ tools, with exercises that will model the learning of communication principles through practice. It has been named ‘Fundamental Media Skills for the Workplace’. The conceptualisation and teaching of it will be characteristic of the Journalism academic discipline that uses the ‘inside perspective’—understanding mass media by observing from within. Proposers for the unit within the Journalism discipline have sought to extend the common teaching approach, based on training to produce start-ready recruits for media jobs, backed by a study of contexts, e.g. journalistic ethics, or media audiences. In this proposal, students would then examine the process to elicit additional knowledge about their learning. The paper draws on literature of journalism and its pedagogy, and on communication generally. It also documents a ‘community of practice’ exercise conducted among practitioners as teachers for the subject, developing exercises and models of media work. A preliminary conclusion from that exercise is that it has taken a step towards enhancing skills-based learning for media work, as a portal to more generalised knowledge.

English language study abroad program : an investigation of Hong Kong pre-service teachers’ experiences of a language immersion program

There has been minimal research focused on short-term study abroad language immersion programs, in particular, with home-stay families. The importance of authentic intercultural experience is increasingly clear and was acknowledged as central to the process of language learning (Liddicoat, 2004). In Hong Kong, education programs for pre-service language teachers have significantly emphasised language and intercultural training through short-term study abroad, and these short overseas language immersion courses have become a compulsory component for teacher training (Bodycott & Crew, 2001) in the last decade. This study aims to investigate eight Hong Kong pre-service teachers’ and their home-stay families’ experiences of a short-term (two months) language immersion program in Australia. The focus is on listening to commentaries concerning the development of communicative competence, intercultural competence and professional growth during the out-of-class study abroad experience. The conceptual framework adopted in this study views language and intercultural learning from social constructivist perspectives. Central to this framing is the notion that the internalisation of higher mental functions involves the transfer from the inter-psychological to the intra-psychological plane, that is, a progression process from the socially supported to individually controlled performance. From this perspective, language serves as a way to communicate about, and in relation to, actions and experience. Three research questions were addressed and studied through qualitative methodology. 1. How do the pre-service teachers and their home-stay families perceive the out-of-class component of the program in terms of opportunities for the development of language proficiency and communicative competence? 2. How do the pre-service teachers and their home-stay families perceive the out-of-class component of the program in terms of the development of intercultural competence? 3. How do the pre-service teachers and home-stay families perceive the outof- class component of the program in terms of teachers’ professional growth? Data were generated from multiple data collection methods and analysed through thematic analysis from both a “bottom up” and “top down” approach. The study showed that the pre-service teachers perceived that the immersion program influenced, to varying degrees, their language proficiency, communication and intercultural awareness, as well as their self-awareness and professional growth. These pre-service teachers believed that effective language learning centres on active engagement in the target language community. A mismatch between the views and evaluations of the two groups – the pre-service teachers and the home-stay family members – provides some evidence of misalignments in terms of expectations and perceptions of each other’s roles and responsibilities. The study has highlighted challenges encountered, and provided suggestions for ways of meeting these challenges. The inclusion in the study of the home-stay families’ perceptions and commentaries provided insights, which can inform program development. There is clearly further work to be done in terms of predeparture orientation and preparation, not only for the main participants themselves, the students, but also for the host families.

Children’s food and activity patterns following a six-month child weight management program

Objective To describe the impact of a parent-led, family focused child weight management program on the food intake and activity patterns of pre-pubertal children. Methods n assessor-blinded, randomized controlled trial involving 111 (64% female) overweight, pre-pubertal children 6 to 9 years of age randomly assigned to parenting-skills training plus intensive lifestyle education, parenting-skills training alone, or a 12-month wait-listed control. Study outcomes were assessed at baseline, 6 months, and 12 months. This paper presents data on food intake assessed via a validated 54-item parent completed dietary questionnaire and activity behaviours assessed via a parent-report 20-item activity questionnaire. Results Intake of energy-dense nutrient poor foods was lower in both intervention groups at 6 months (mean difference, P+DA -1.5 serves [CI -2.0;-1.0]; P -1.0 serves [-2.0;-0.5]) and 12 months (mean difference P+DA -1.0 serves [CI -2.0;-0.5]; P -1.0 serves [-1.5; 0.0]) compared to baseline. Intake of vegetables, fruit, breads and cereals, meat and alternatives and dairy foods remained unchanged. Regardless of study group there were significant reductions over time in the reported time spent engaged in small screen activities and an increase in the time reported spent in active play. Conclusion Child weight management intervention that promotes food intake in line with national dietary guidelines achieves a reduction in children’s intake of energy dense, nutrient poor foods. This was achieved without compromising intake of nutrient-rich food and changes in were maintained even once the intervention ceased.

Physical activity and nutrition program for seniors (PANS) : protocol of a randomized controlled trial

Background Along with reduced levels of physical activity, older Australian's mean energy consumption has increased. Now over 60% of older Australians are considered overweight or obese. This study aims to confirm if a low-cost, accessible physical activity and nutrition program can improve levels of physical activity and diet of insufficiently active 60-70 year-olds. Methods/Design This 12-month home-based randomised controlled trial (RCT) will consist of a nutrition and physical activity intervention for insufficiently active people aged 60 to 70 years from low to medium socio-economic areas. Six-hundred participants will be recruited from the Australian Federal Electoral Role and randomly assigned to the intervention (n = 300) and control (n = 300) groups. The study is based on the Social Cognitive Theory and Precede-Proceed Model, incorporating voluntary cooperation and self-efficacy. The intervention includes a specially designed booklet that provides participants with information and encourages dietary and physical activity goal setting. The booklet will be supported by an exercise chart, calendar, bi-monthly newsletters, resistance bands and pedometers, along with phone and email contact. Data will be collected over three time points: pre-intervention, immediately post-intervention and 6-months post-study. Discussion This trial will provide valuable information for community-based strategies to improve older adults' physical activity and dietary intake. The project will provide guidelines for appropriate sample recruitment, and the development, implementation and evaluation of a minimal intervention program, as well as information on minimising barriers to participation in similar programs.

Building organizational capability through a quality assurance program within a business school and encouraging organizational culture change

This study explores organizational capability and culture change through a project developing an assurance of learning program in a business school. In order to compete internationally for high quality faculty, students, strategic partnerships and research collaborations it is essential for Universities to develop and maintain an international focus and a quality produce that predicts excellence in the student experience and graduate outcomes that meet industry needs. Developing, marketing and delivering that quality product requires an organizational strategy to which all members of the organization contribute and adhere. Now, the ability to acquire, share and utilize knowledge has become a critical organizational capability in academia as well as other industries. Traditionally the functional approach to business school structures and disparate nature of the social networks and work contact limit the sharing of knowledge between academics working in different disciplines. In this project a community of practice program was established to include academics in the development of an embedded assurance of learning program affecting more than 5000 undergraduate students and 250 academics from nine different disciplines across four schools. The primary outcome from the fully developed and implemented assurance of learning program was the five year accreditation of the business schools programs by two international accrediting bodies, EQUIS and AACSB. However this study explores a different outcome, namely the change in organizational culture and individual capabilities as academics worked together in teaching and learning teams. This study uses a survey and interviews with academics involved, through a retrospective panel design which contained an experimental group and a control group. Results offer insights into communities of practice as a means of addressing organizational capability and changes in organizational culture. Knowledge management and shared learning can achieve strategic and operational benefits equally within academia as within other industrial enterprises but it comes at a cost. Traditional structures, academics that act like individual contractors and deep divides across research, teaching and service interest served a different master and required fewer resources. Collaborative structures; fewer master categories of discrete knowledge areas; specific strategic goals; greater links between academics and industry; and the means to share learned insights will require a different approach to resourcing both the individual and the team.

Academic skills and scholarship for nurses : building aspiration and preparing nurses for academic success

Academic Skills and Scholarship for Nurses is a pilot programme which addresses academic aspiration and study preparedness of mature aged students. It is a series of four workshops designed and implemented by QUT Library staff in collaboration with Nursing and Midwifery academics, for pre- and post- registration nursing staff within the region of Caboolture, Redcliffe and Kilcoy. The programme extends QUT Library’s learning and study support expertise to the local community. The intended outcomes of the programme are fourfold. Firstly, encourage educational aspirations of mature age students, to establish realistic expectations and practical strategies for beginning tertiary study. Secondly, skills developed will be congruent with lifelong learning principles and continuing professional development requirements of professional nursing bodies. Thirdly, alignment with QUT strategies for widening participation in higher education and finally, strengthen existing relationships between academic and professional staff, and QUT and the local community for the benefit of all stakeholders.

Correlates of Pedometer Use: Results from a Community-based Physical Activity Intervention Trial (10,000 Steps Rockhampton)

Background Pedometers have become common place in physical activity promotion, yet little information exists on who is using them. The multi-strategy, community-based 10,000 Steps Rockhampton physical activity intervention trial provided an opportunity to examine correlates of pedometer use at the population level. Methods Pedometer use was promoted across all intervention strategies including: local media, pedometer loan schemes through general practice, other health professionals and libraries, direct mail posted to dog owners, walking trail signage, and workplace competitions. Data on pedometer use were collected during the 2-year follow-up telephone interviews from random population samples in Rockhampton, Australia, and a matched comparison community (Mackay). Logistic regression analyses were used to determine the independent influence of interpersonal characteristics and program exposure variables on pedometer use. Results Data from 2478 participants indicated that 18.1% of Rockhampton and 5.6% of Mackay participants used a pedometer in the previous 18-months. Rockhampton pedometer users (n = 222) were more likely to be female (OR = 1.59, 95% CI: 1.11, 2.23), aged 45 or older (OR = 1.69, 95% CI: 1.16, 2.46) and to have higher levels of education (university degree OR = 4.23, 95% CI: 1.86, 9.6). Respondents with a BMI > 30 were more likely to report using a pedometer (OR = 1.68, 95% CI: 1.11, 2.54) than those in the healthy weight range. Compared with those in full-time paid work, respondents in 'home duties' were significantly less likely to report pedometer use (OR = 0.18, 95% CI: 0.06, 0.53). Exposure to individual program components, in particular seeing 10,000 Steps street signage and walking trails or visiting the website, was also significantly associated with greater pedometer use. Conclusion Pedometer use varies between population subgroups, and alternate strategies need to be investigated to engage men, people with lower levels of education and those in full-time 'home duties', when using pedometers in community-based physical activity promotion initiatives.

Lessons learned from implementation of a demonstration program to reduce the burden of anemia and hookworm in women in Yen Bai Province, Viet Nam

Background Iron deficiency, anemia and hookworm disease are important public health problems for women of reproductive age living in developing countries and affect the health of newborns and infants. Iron supplementation and deworming treatment are effective in addressing these problems in both pregnant and non-pregnant women. Daily iron supplementation and deworming after the first trimester is recommended for pregnant women although these programs usually do not operate efficiently or effectively. Weekly iron-folic acid supplementation and regular deworming for non-pregnant women may be a viable approach for improving iron status and preventing anemia during the reproductive years. Addressing these diseases at a population level before women become pregnant could significantly improve women's health before and during pregnancy, as well as their infants' growth and development. Methods and Results This paper describes the major processes undertaken in a demonstration intervention of preventive weekly iron-folic acid supplementation with regular deworming for all 52,000 women aged 15–45 years in two districts of Yen Bai province, in northern Viet Nam. The intervention strategy included extensive consultation with community leaders and village, commune, district and provincial health staff, and training for village health workers. Distribution of the drugs was integrated with the existing health service infrastructure and the village health workers were the direct point of contact with women. Iron-folic acid tablets and deworming treatment were provided free of charge from May 2006. An independent Vietnamese NGO was commissioned to evaluate compliance and identify potential problems. The program resulted in effective distribution of iron-folic acid tablets and deworming treatment to all villages in the target districts, with full or partial compliance of 85%. Conclusion Training for health staff, the strong commitment of all partners and the use of appropriate educational materials led to broad support for weekly iron-folic acid supplementation and high participation in the regular deworming days. In March 2008 the program was expanded to all districts in the province, a target population of approximately 250,000 WRA, and management was handed over to provincial authorities.