Ownership-based Alias Analysis for Securing Unsafe Rust Programs. This project aims to develop an ownership-based alias analysis as a complement to Rust's ownership type system for improving Rust's memory safety. This project, therefore, expects to deliver an alias analysis foundation that can provide stronger memory safety guarantees than the state-of-the-art in detecting memory-safety violations and security vulnerabilities in real-world Rust programs that use unsafe language features. The exp ....Ownership-based Alias Analysis for Securing Unsafe Rust Programs. This project aims to develop an ownership-based alias analysis as a complement to Rust's ownership type system for improving Rust's memory safety. This project, therefore, expects to deliver an alias analysis foundation that can provide stronger memory safety guarantees than the state-of-the-art in detecting memory-safety violations and security vulnerabilities in real-world Rust programs that use unsafe language features. The expected outcomes are a deployable ownership-based alias analysis in the Rust compiler and an industrial-strength open-source framework. These outcomes are expected to provide significant benefits in improving software quality and security in Rust, an emerging language that offers both performance and safety.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
Detecting Asynchronous Event-Driven Order Violations in Android Apps. This project aims to develop an event-interleaving analysis for detecting asynchronous event-driven order violations in Android apps. This project therefore expects to deliver a program analysis foundation that can provide stronger security guarantees than the state of the art against advanced exploits that abuse such asynchronous vulnerabilities. The intended outcomes of this project are a new program analysis technology and ....Detecting Asynchronous Event-Driven Order Violations in Android Apps. This project aims to develop an event-interleaving analysis for detecting asynchronous event-driven order violations in Android apps. This project therefore expects to deliver a program analysis foundation that can provide stronger security guarantees than the state of the art against advanced exploits that abuse such asynchronous vulnerabilities. The intended outcomes of this project are a new program analysis technology and an industrial-strength open-source framework that can significantly raise the bar on mobile software quality and security for Android, the dominant smartphone platform accounting a current market share at 87.0% with 2.9 million apps at Google Play in December 2019.Read moreRead less
The integration of language and society. This project aims to seek associations between social and life-style differences and language structure. All human societies show pervasive similarities and all languages share recurrent features. Viewing society and language as an integrated whole, the project will study related groups in contrasting physical and social environments in PNG, Africa, East Asia, Amazonia and Australia. Inductive generalisations about associations between societal and langua ....The integration of language and society. This project aims to seek associations between social and life-style differences and language structure. All human societies show pervasive similarities and all languages share recurrent features. Viewing society and language as an integrated whole, the project will study related groups in contrasting physical and social environments in PNG, Africa, East Asia, Amazonia and Australia. Inductive generalisations about associations between societal and language parameters (e.g. varying techniques of address relating to articulated kin systems and social hierarchy) aim to provide insight into the human dynamic. Findings should benefit programmes for cultural awareness, language teaching and revitalisation and understanding of multicultural situations.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
Ancient Egyptian papyri: unlocking secrets to the history of writing. This project aims to investigate the chemical composition of papyri from ancient Egypt and their inks to identify scribes, date texts, detect forgeries, match fragmentary texts, and illuminate environmental and technological change. Papyrus and carbon-based ink were the primary writing materials in the ancient Mediterranean world from 2600 BCE to 1000 CE, but the uncertain provenance and date caused by clandestine excavation a ....Ancient Egyptian papyri: unlocking secrets to the history of writing. This project aims to investigate the chemical composition of papyri from ancient Egypt and their inks to identify scribes, date texts, detect forgeries, match fragmentary texts, and illuminate environmental and technological change. Papyrus and carbon-based ink were the primary writing materials in the ancient Mediterranean world from 2600 BCE to 1000 CE, but the uncertain provenance and date caused by clandestine excavation and the antiquities trade limits our understanding of them. The non-destructive and inexpensive analysis will provide new understanding of environmental, technological, and socio-cultural change in ancient cultures from Egypt to Rome by providing new insights into writing technology, scribal identity, dating, and authenticity.Read moreRead less
Australian Aboriginal conversational style. This project aims to re-examine claims that Aboriginal Australians conduct conversations in different ways to Anglo-Australians. It will investigate and compare ordinary conversations in these groups on a large scale. The project expects to provide new evidence to explicate Aboriginal and non-Aboriginal conversational norms, pinpointing differences which may lead to intercultural miscommunication. Expected outcomes include endangered language documenta ....Australian Aboriginal conversational style. This project aims to re-examine claims that Aboriginal Australians conduct conversations in different ways to Anglo-Australians. It will investigate and compare ordinary conversations in these groups on a large scale. The project expects to provide new evidence to explicate Aboriginal and non-Aboriginal conversational norms, pinpointing differences which may lead to intercultural miscommunication. Expected outcomes include endangered language documentation, and evidence-based findings to disseminate to service providers, to communities and to Aboriginal organisations to improve ways of engaging with each other. In addition, the project will benefit Aboriginal communities with new approaches to language revitalisation.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE180101150
Funder
Australian Research Council
Funding Amount
$332,202.00
Summary
Enlisting World literature. This project aims to generate new knowledge to understand relationships between national literatures and global reading patterns. It will focus on how world literature was used in the Cold War for global circulation by focussing on the English-language paperbacks produced by East German publisher Seven Seas. Expected outcomes include the first thorough history of a socialist Cold War book scheme with an international scope, drawing on rich archival sources.