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
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
The early woman writer, 1530-1660. This project aims to provide a literary history of women’s textual practice in the English Renaissance. This project will examine the scope, content and purpose of early modern women’s writing to make new discoveries about reading, writing and book use in the period when book production and distribution was first appearing on a larger scale. It uses digital technologies to create open-access digital forms of this writing to extend access to it, and also to furt ....The early woman writer, 1530-1660. This project aims to provide a literary history of women’s textual practice in the English Renaissance. This project will examine the scope, content and purpose of early modern women’s writing to make new discoveries about reading, writing and book use in the period when book production and distribution was first appearing on a larger scale. It uses digital technologies to create open-access digital forms of this writing to extend access to it, and also to further Australia’s position in both cutting edge digital scholarship and scholarship on the early modern period.
Read moreRead less
Future fables: literature, evolution and artificial intelligence. The future of AI is a site of considerable philosophical and cultural anxiety in the West. Given the future of AI is currently only available to publics through literary or fictional tropes, it is vital that we investigate the historical evolution of these literary or fictional tropes of AI to understand its future direction. This project aims to understand (1) how the post-Darwinian literary imagination has shaped our current anx ....Future fables: literature, evolution and artificial intelligence. The future of AI is a site of considerable philosophical and cultural anxiety in the West. Given the future of AI is currently only available to publics through literary or fictional tropes, it is vital that we investigate the historical evolution of these literary or fictional tropes of AI to understand its future direction. This project aims to understand (1) how the post-Darwinian literary imagination has shaped our current anxieties about AI and (2) how literary and scientific writers after Darwin rethink the future of the human species by imagining the co-evolution of humans, animals and machines. Expected outcomes of the project include conceptual resources to understand the human-nonhuman relation and the future of AI.Read moreRead less
Engaging ethnic minority and majority blood donors in donor recruitment. Word-of-mouth is a potentially powerful way to recruit blood donors. Talking about donation increases awareness, trust, commitment and positive feelings about donating, particularly in ethnic minority groups. However, donors seldom tell others about donating. This project aims to determine how to motivate blood donors to recruit new donors using word-of-mouth, through research comprising co-design, surveys, and experiments. ....Engaging ethnic minority and majority blood donors in donor recruitment. Word-of-mouth is a potentially powerful way to recruit blood donors. Talking about donation increases awareness, trust, commitment and positive feelings about donating, particularly in ethnic minority groups. However, donors seldom tell others about donating. This project aims to determine how to motivate blood donors to recruit new donors using word-of-mouth, through research comprising co-design, surveys, and experiments. This project will generate new knowledge of how to encourage effective word-of-mouth for pro-social behaviours. Expected outcomes include producing culturally relevant, validated resources that will significantly benefit Australia by encouraging effective conversations to promote blood donation in all communities.Read moreRead less
Transforming the early modern archive: the Emmerson Collection at SLV. In 2015, State Library Victoria (SLV) received the bequest of the Emmerson Collection: a national treasure of over 5000 early modern rare books and manuscripts, the first and only early modern archive of scale to be held by an Australian institution. Bringing together experts in early modern studies and the digital humanities with specialist library staff, this project will uncover the contents and scope of the collection and ....Transforming the early modern archive: the Emmerson Collection at SLV. In 2015, State Library Victoria (SLV) received the bequest of the Emmerson Collection: a national treasure of over 5000 early modern rare books and manuscripts, the first and only early modern archive of scale to be held by an Australian institution. Bringing together experts in early modern studies and the digital humanities with specialist library staff, this project will uncover the contents and scope of the collection and promote its international scholarly significance to the wider world. In doing so, it will develop new digital tools designed to unlock the value of this unique public resource for a wide range of end-users.Read moreRead less
Access to justice in interpreted proceedings: the role of Judicial Officers. This project aims to examine the ways judicial officers can improve courtroom communication and prevent miscommunication and error, particularly in criminal cases where speakers of the 'new and emerging' and Aboriginal languages are involved, and where interpreters receive limited or no specialised training. Using an innovative interdisciplinary approach, the project aims to generate new knowledge in examining the varia ....Access to justice in interpreted proceedings: the role of Judicial Officers. This project aims to examine the ways judicial officers can improve courtroom communication and prevent miscommunication and error, particularly in criminal cases where speakers of the 'new and emerging' and Aboriginal languages are involved, and where interpreters receive limited or no specialised training. Using an innovative interdisciplinary approach, the project aims to generate new knowledge in examining the variations in judicial officers communications practice when working with interpreters, and their impact on the effective transmission of information in the courtroom. Expected outcomes of this project will include improved outcomes of interpreted communication and a better access to justice for non-English speaking participants.Read moreRead less