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
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
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
Next generation garbage collection: discovery, design, and development. This project aims to improve the performance of programming languages used by millions of Australians every day, such as Java, JavaScript and PHP by developing improved memory-management algorithms. These languages use what is referred to as “garbage collection” to ensure memory is managed without data loss, but do so conservatively and consequently cause performance challenges and energy overheads. This project expects to p ....Next generation garbage collection: discovery, design, and development. This project aims to improve the performance of programming languages used by millions of Australians every day, such as Java, JavaScript and PHP by developing improved memory-management algorithms. These languages use what is referred to as “garbage collection” to ensure memory is managed without data loss, but do so conservatively and consequently cause performance challenges and energy overheads. This project expects to provide these languages with improved memory-management algorithms, and provides researchers and industry with a framework for innovation. This project will enable safe software that is more efficient on today's hardware and able to exploit emerging hardware. This project should lead to better performance and energy savings for server applications, phones, watches, and smart appliances, while ensuring memory safety.Read moreRead less
A panel study of Kobe women’s interview discourse. This project aims to investigate women’s life transitions and language use over 30 years. Analysis of changes to the languages, societies and cultures of Asia is essential to Australia’s Asia literacy. This project will analyse shifts and changes in women’s language, discourse and identities by examining ethnographic data of a longitudinal research project into working-class women’s life trajectories in Kobe, Japan. The project will research lan ....A panel study of Kobe women’s interview discourse. This project aims to investigate women’s life transitions and language use over 30 years. Analysis of changes to the languages, societies and cultures of Asia is essential to Australia’s Asia literacy. This project will analyse shifts and changes in women’s language, discourse and identities by examining ethnographic data of a longitudinal research project into working-class women’s life trajectories in Kobe, Japan. The project will research language, gender, class and mobility in Japan in the transition from young adulthood to middle adulthood. Understanding how life transitions and identities shape ways of speaking Japanese is expected to contribute to sociocultural understandings, and influence social and public policies about Japan.Read moreRead less
Journals in Theory: Practices of Academic Judgment. This project aims to examine the way key journals transformed the discipline of literary studies from 1946 to now. It expects to generate new knowledge of how editorial practices of academic judgement institutionalised and legitimated new modes of reading, thinking and writing. Based on archival research on journals including Critical Inquiry, Tel Quel and The Australian Journal of Cultural Studies, the project's outcomes will show how, in brin ....Journals in Theory: Practices of Academic Judgment. This project aims to examine the way key journals transformed the discipline of literary studies from 1946 to now. It expects to generate new knowledge of how editorial practices of academic judgement institutionalised and legitimated new modes of reading, thinking and writing. Based on archival research on journals including Critical Inquiry, Tel Quel and The Australian Journal of Cultural Studies, the project's outcomes will show how, in bringing together new intellectual passions, governance structures and imagined readerships, journals bestowed on criticism its current working definition. Expected benefits include a better account of the relationship between conceptual innovation and institutional mechanisms for research integrity.Read moreRead less
Languages of Barrier Islands, Sumatra: Description, History and Typology. This project aims to investigate endangered languages of the Asia-Pacific via four undocumented languages in the Barrier Islands, Indonesia. New knowledge will be generated into the languages, cultures and societies of the region on an unprecedented scale, and be made freely available to the public. New data will uncover past migration patterns in Southeast Asia, advance language theory (such as linguistic typology and lan ....Languages of Barrier Islands, Sumatra: Description, History and Typology. This project aims to investigate endangered languages of the Asia-Pacific via four undocumented languages in the Barrier Islands, Indonesia. New knowledge will be generated into the languages, cultures and societies of the region on an unprecedented scale, and be made freely available to the public. New data will uncover past migration patterns in Southeast Asia, advance language theory (such as linguistic typology and language change), and support the computational modelling of Austronesian for future language technologies. Connections with Indonesian institutions will strengthen Australia’s regional engagement, and support language revitalisation and maintenance among minority communities for the preservation of their culture and history.Read moreRead less
Transnational selves: French narratives of migration to Australia. This project aims to examine texts authored by French-speaking migrants to Australia in order to explore how migrating subjects write their identity, how migrants represent the self between nations and between languages, and how Australia is viewed through the prism of another language. Expected outcomes to this project include enhanced knowledge of Australian literature, of practices of migrant writing, and of the construction ....Transnational selves: French narratives of migration to Australia. This project aims to examine texts authored by French-speaking migrants to Australia in order to explore how migrating subjects write their identity, how migrants represent the self between nations and between languages, and how Australia is viewed through the prism of another language. Expected outcomes to this project include enhanced knowledge of Australian literature, of practices of migrant writing, and of the construction of Australian identity. This will provide significant benefits, such as a wider understanding of the diversity of Australian literature, an increased awareness of literature in Languages Other Than English in Australia, and a more nuanced appreciation of Australian identity.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