Verified concurrent memory management on modern processors. This project aims to formally verify automatic memory managers in the presence of concurrency and the weakly ordered memory of modern processors. A new framework for verifying memory managers, reusable for a wide range of managed programming languages, target hardware, policies, and algorithms will be developed. Expected technical outcomes include improved techniques to ensure trustworthiness of the foundations on which critical softwar ....Verified concurrent memory management on modern processors. This project aims to formally verify automatic memory managers in the presence of concurrency and the weakly ordered memory of modern processors. A new framework for verifying memory managers, reusable for a wide range of managed programming languages, target hardware, policies, and algorithms will be developed. Expected technical outcomes include improved techniques to ensure trustworthiness of the foundations on which critical software infrastructures are built. This will significantly enhance the security of public and private cyber assets, and deliver applications that are more robust and trustworthy, across a range of critical infrastructure such as transportation, communication, energy and defence.Read moreRead less
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 verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE180101609
Funder
Australian Research Council
Funding Amount
$392,315.00
Summary
Telling the whole story in one sentence. This project aims to produce a framework for analysis of the ultra-long sentences that occur in hundreds of languages and to investigate the processing of these sentences by adults and children. Anticipated outcomes are enhanced models of language structure, mental processing of language, and brain functions. Understanding of drastically-different sentence types in the world’s languages will further benefit foreign language learners, machine translators, ....Telling the whole story in one sentence. This project aims to produce a framework for analysis of the ultra-long sentences that occur in hundreds of languages and to investigate the processing of these sentences by adults and children. Anticipated outcomes are enhanced models of language structure, mental processing of language, and brain functions. Understanding of drastically-different sentence types in the world’s languages will further benefit foreign language learners, machine translators, and immigrants learning English.Read moreRead less
Early modern women and the poetry of complaint, 1540-1660. This project aims to discover how early modern women used the widespread, powerful and diverse mode of complaint to voice expressions of protest and loss during the English Renaissance. The project will highlight women’s roles as writers, patrons and textual producers and consumers of the mode of complaint. The project expects to uncover how the imagined voices of the disempowered shaped the literary and political cultures of early moder ....Early modern women and the poetry of complaint, 1540-1660. This project aims to discover how early modern women used the widespread, powerful and diverse mode of complaint to voice expressions of protest and loss during the English Renaissance. The project will highlight women’s roles as writers, patrons and textual producers and consumers of the mode of complaint. The project expects to uncover how the imagined voices of the disempowered shaped the literary and political cultures of early modern England. Reconceptualising a mode in Renaissance literature will benefit Australia's standing at the forefront of research in early modern studies.Read moreRead less
Understanding communication about advance care planning across the lifespan. This project aims to understand how people communicate about advance care planning for children, adolescents, and adults. This project expects to generate new knowledge by using leading social scientific and linguistic methods to analyse real-world advance care planning conversations and documents. Expected outcomes include detailed knowledge about challenges people encounter in these conversations and how to manage the ....Understanding communication about advance care planning across the lifespan. This project aims to understand how people communicate about advance care planning for children, adolescents, and adults. This project expects to generate new knowledge by using leading social scientific and linguistic methods to analyse real-world advance care planning conversations and documents. Expected outcomes include detailed knowledge about challenges people encounter in these conversations and how to manage these challenges. Over 170,000 Australians die each year, most from serious illness. This project should provide significant benefits to future initiatives for enhancing communication about advance care planning, especially in relation to young Australians, older Australians, and Australians with disabilities.Read moreRead less
New Electronic Archives for Australian Literature. Information capacity in Australian literary studies has been dramatically expanded by national investment in electronic archives, while trends in the discipline increasingly demand empirical support for claims about literary history and literary value. At the same time, research about Australian literature remains primarily theoretical, insufficiently informed by newly available data. This project aims to further enrich the new data sets, and to ....New Electronic Archives for Australian Literature. Information capacity in Australian literary studies has been dramatically expanded by national investment in electronic archives, while trends in the discipline increasingly demand empirical support for claims about literary history and literary value. At the same time, research about Australian literature remains primarily theoretical, insufficiently informed by newly available data. This project aims to further enrich the new data sets, and to use them in an innovative return to the classical issues in Australian literary criticism and history. It will provide demonstration applications of data in new electronic archives.Read moreRead less
Reading the Nation: A critical study of Aboriginal/settler representations in the contemporary Australian literary landscape. This project will map literary representations of Aboriginal Australians by non-Aboriginal authors in the post-Mabo period, and the reciprocal representations by Aboriginal Australians. This is a study of the politics of representation that play out between Aboriginal and white Australians in the contemporary literary landscape.
Structures and Protocols for Inference. The proposed research is expected to lead to increased adoption and efficiency of use of machine learning technologies. It will develop new and better ways to use existing machine learning software in a manner that allows easier integration into commercial products. It will increase the competitiveness of Australian industry.
Mobile Indonesians: social differentiation and digital literacies in the twenty first century. This is the first dedicated study of the social implications of mobile telephony's recent and rapid popularisation throughout the country. This project will study metropolitan, urban and rural users to understand how mobile phones create the new and unexpected social networks which will shape tomorrow's Indonesians.