Discovery Early Career Researcher Award - Grant ID: DE170101081
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis t ....Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis to efficiently and precisely analyse large-scale programs according to clients’ needs, thereby allowing compilers to generate safe, reliable and secure code. This project is expected to advance value-flow analysis for industrial-sized software, improve software reliability and security, and benefit Australian software systems and industries.Read moreRead less
Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increa ....Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increased assurance that their control technology does correctly realise the adopted protocols. Assurance of correctness is significant in that incorrect protocol implementation may cause errant operation of equipment, and lead to economic and environmental damage.Read moreRead less
Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems. The project aims are:
to significantly advance our understanding of the key concepts needed to successfully exploit dynamic, run-time reconfigurable computing, a technology that is now becoming increasingly available due to developments in FPGA (Field Progammable Gate Array) devices, and
the development of an innovative high-level programming environment that will include a language, associated design method ....Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems. The project aims are:
to significantly advance our understanding of the key concepts needed to successfully exploit dynamic, run-time reconfigurable computing, a technology that is now becoming increasingly available due to developments in FPGA (Field Progammable Gate Array) devices, and
the development of an innovative high-level programming environment that will include a language, associated design methodologies, compilation techniques, and run-time support that will make dynamic reconfigurable computing accessible to a wide community of potential users.
Read moreRead less
Birth Weight, Adult Weight And Podocyte Depletion.
Funder
National Health and Medical Research Council
Funding Amount
$796,252.00
Summary
A major role of our kidneys is to filter our blood. A key cell type in our kidney filters is an octopus-shaped cell known as the podocyte. If we are not born with enough podocytes, or if the filters grow too large after birth due for example to excessive weight gain, the podocytes cannot adequately filter the blood, and this can lead to kidney disease. We will measure podocyte endowment at birth, and assess the effects of weight gain and loss after birth on podocyte features and kidney health.
The Transmission Of Perinatal Maternal Mental Health To Preschool Emotional Disorders: Examining Pathways And Intervention Points In The MPEWS Study
Funder
National Health and Medical Research Council
Funding Amount
$970,795.00
Summary
While it is known that depression, anxiety and stress in pregnancy increase the risk for poorer child mental health, what is unknown is the key pathways and intervention points to prevent this transmission of risk. This study will examine potential mechanisms and intervention points through a selected cohort study: Mercy Pregnancy and Emotional Wellbeing Study. This study follows 500 women and their children from first trimester in pregnancy until the children are 3 years of age.
Cross-Cultural Lives: a Study of Narratives by Migrants Between Languages. This project examines recent autobiographies of non-English-speaking migrants to Australia and investigates ways in which immigrants into a new language are challenged to become different persons, and how particular individuals respond to this challenge. It combines the disciplines of literary, cultural and ethnic studies to address issues profoundly affecting Australia as a multi-ethnic society. It seeks to identify some ....Cross-Cultural Lives: a Study of Narratives by Migrants Between Languages. This project examines recent autobiographies of non-English-speaking migrants to Australia and investigates ways in which immigrants into a new language are challenged to become different persons, and how particular individuals respond to this challenge. It combines the disciplines of literary, cultural and ethnic studies to address issues profoundly affecting Australia as a multi-ethnic society. It seeks to identify some essential prerequisites for cross-culturally sensitive education programs, taking into account an individual's need for psychological and linguistic continuity. At the same time it opens a new theoretical perspective for literary and cross-cultural studies, based on close study of life-writing by migrants.Read moreRead less
Analysis of two-phase effects in sloshing of liquids in marine tanks. One of the winners in the current greenhouse debate is natural gas, and the global market will see the need for transporting large volumes of LNG. Australia's North West Shelf is one of the largest offshore gas reserves in the world. The gas market is one of the biggest contributors for the country's economy. Australia leads the world in the use of tankers for transport of Liquefied Natural Gas (LNG). However, consistent re ....Analysis of two-phase effects in sloshing of liquids in marine tanks. One of the winners in the current greenhouse debate is natural gas, and the global market will see the need for transporting large volumes of LNG. Australia's North West Shelf is one of the largest offshore gas reserves in the world. The gas market is one of the biggest contributors for the country's economy. Australia leads the world in the use of tankers for transport of Liquefied Natural Gas (LNG). However, consistent research in LNG is lacking. This research is a fundamental inquiry into the physics of liquid sloshing and the importance of two-phase effects on sloshing. The research can provide answers that ensure safe operation and transport of LNG from Australia.Read moreRead less
Noongar kaatdijin bidi: Noongar knowledge networks; or, Why is there no Noongar Wikipedia? This project will use the Noongar language to model and assess the extent to which minority languages can thrive by using globally accessible internet technologies. It will generate critical insights into the relations between knowledge, culture and technology and investigate how oral and informal knowledge sources can be accessed for a text-based website in the digital era. The outcomes of this project wi ....Noongar kaatdijin bidi: Noongar knowledge networks; or, Why is there no Noongar Wikipedia? This project will use the Noongar language to model and assess the extent to which minority languages can thrive by using globally accessible internet technologies. It will generate critical insights into the relations between knowledge, culture and technology and investigate how oral and informal knowledge sources can be accessed for a text-based website in the digital era. The outcomes of this project will include a greater understanding of how to link technology with users for community sustainability, as well as further insights into how social learning can be improved via interacting online networks.Read moreRead less
The spread of gender-inclusive language reform in Outer-Circle Englishes: English in Singapore, Hong Kong and the Philippines. This examination aims to describe the adoption and spread of gender-inclusive language use in the Englishes in Singapore, Hong Kong, the Philippines and to compare this process to the one observed in 'native' Englishes (eg.Australian English). The comparative approach between 'native' and 'non-native' Englishes is innovative. Expected outcomes include significant progre ....The spread of gender-inclusive language reform in Outer-Circle Englishes: English in Singapore, Hong Kong and the Philippines. This examination aims to describe the adoption and spread of gender-inclusive language use in the Englishes in Singapore, Hong Kong, the Philippines and to compare this process to the one observed in 'native' Englishes (eg.Australian English). The comparative approach between 'native' and 'non-native' Englishes is innovative. Expected outcomes include significant progress in the study of planned language change, of English as a global language and language and gender identity. The study will have an impact on social policy development.Read moreRead less
Mission texts and the representation of Africa in America 1870-1914. Australia is now firmly linked to America in cultural and political terms. This project helps us to understand how American attitudes to overseas expansion came about in the period when America was expanding its control on its own continent and in the world at large. Explanations of this to date have neglected to examine the role of religious organisations and texts in promoting the ideas of other peoples and cultures which fo ....Mission texts and the representation of Africa in America 1870-1914. Australia is now firmly linked to America in cultural and political terms. This project helps us to understand how American attitudes to overseas expansion came about in the period when America was expanding its control on its own continent and in the world at large. Explanations of this to date have neglected to examine the role of religious organisations and texts in promoting the ideas of other peoples and cultures which formed America's modern attitude to the world beyond its shores. As religion becomes increasingly recognised as a powerful factor in identity politics this project helps us to understand the roots of this connection and apply the knowledge to our current situation.Read moreRead less