Discovery Early Career Researcher Award - Grant ID: DE220101057
Funder
Australian Research Council
Funding Amount
$424,140.00
Summary
Practical Automated Software Bug Fixing via Syntactic and Semantic Analyses. This proposal aims to advance the practical adoption of automated software bug repair, which has recently been adopted by industry, e.g., Facebook. It will produce novel methods that use mining software repositories, program analysis, and human-guided search to help automated repair to scale and be accurate. Expected outcomes include a publicly available automated bug repair framework. This project will help the softwar ....Practical Automated Software Bug Fixing via Syntactic and Semantic Analyses. This proposal aims to advance the practical adoption of automated software bug repair, which has recently been adopted by industry, e.g., Facebook. It will produce novel methods that use mining software repositories, program analysis, and human-guided search to help automated repair to scale and be accurate. Expected outcomes include a publicly available automated bug repair framework. This project will help the software industry deliver to users high quality software with improved reliability and safety, and increase education quality for students learning to code via automated feedback generation.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
Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and ....Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and techniques. The expected outcomes include novel software, verified by industry partners in real world case studies, ranging from life sciences to hypersonic transport. This should provide significant benefits, including the capacity for Australian industries to access world-class supercomputing technology.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
The Ancient Today: Living Traditions of Classical Language Education. This project aims to compare, for the first time, ancient language education across world cultures with ‘classical’ literatures. It expects to illumine the purpose and value of classical language education in Chinese, Greek, Latin, and Sanskrit historically and within global education systems today by comparing pedagogic ideals and practices across times and cultures. It aims to test the potential of inclusive classical langua ....The Ancient Today: Living Traditions of Classical Language Education. This project aims to compare, for the first time, ancient language education across world cultures with ‘classical’ literatures. It expects to illumine the purpose and value of classical language education in Chinese, Greek, Latin, and Sanskrit historically and within global education systems today by comparing pedagogic ideals and practices across times and cultures. It aims to test the potential of inclusive classical language learning to boost educational outcomes for disadvantaged students. Other expected outcomes include two books, scholarly articles, education policy reports, and PhD student training. This should strengthen intercultural understanding and benefit school students, educators, policy makers and the wider public.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
Connecting Asia-Pacific Literary Cultures: Grounds, Encounter and Exchange. This project aims to enhance cultural connections between Asia-Pacific nations by defining and testing a new model for linking writers and writing. The project expects to generate new knowledge about creative writing as a collaborative artform that enables, and is enriched by, deep and sustained cultural exchange. Expected outcomes include a robust model for ethical literary encounters and exchanges and the development o ....Connecting Asia-Pacific Literary Cultures: Grounds, Encounter and Exchange. This project aims to enhance cultural connections between Asia-Pacific nations by defining and testing a new model for linking writers and writing. The project expects to generate new knowledge about creative writing as a collaborative artform that enables, and is enriched by, deep and sustained cultural exchange. Expected outcomes include a robust model for ethical literary encounters and exchanges and the development of a dynamic regional literary network. It seeks to provide benefits that include broadening the reach and power of Australia’s diverse literary voices and stories, both Indigenous and non-Indigenous, enriching the lives of readers and viewers, and strengthening Australia’s capacity for cultural diplomacy in the region.Read moreRead less
Robust and Scalable Autonomous Landing for Drones. The aim of this project is to develop a transformative robust and scalable autonomous landing system for drones. This is the critical missing technology needed to unleash exponential growth in a potentially enormous drone delivery industry by enabling a multitude of applications to deliver goods and supplies via drones to a wide range of destinations in Australia and the world in a timely, flexible and accurate manner. Such an autonomous landi ....Robust and Scalable Autonomous Landing for Drones. The aim of this project is to develop a transformative robust and scalable autonomous landing system for drones. This is the critical missing technology needed to unleash exponential growth in a potentially enormous drone delivery industry by enabling a multitude of applications to deliver goods and supplies via drones to a wide range of destinations in Australia and the world in a timely, flexible and accurate manner. Such an autonomous landing solution would revolutionise drone technology, and propel Australia to the forefront of technology innovation. This project would benefit not only large scale delivery by drone in urban and suburban areas of Australia but also long distance delivery via drone to remote areas of Australia.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE230100049
Funder
Australian Research Council
Funding Amount
$459,030.00
Summary
Towards automated Australian Sign Language translation. This project aims to address the computational modelling of Auslan. The project expects to generate knowledge by creating the largest Auslan dataset, enabling further advancements in this research area. The dataset will also play an essential role in other research fields, e.g., sign linguistics. Expected outcomes include the invention of the first Auslan recogniser and generator capable of distinguishing and synthesising 1000+ signs, repre ....Towards automated Australian Sign Language translation. This project aims to address the computational modelling of Auslan. The project expects to generate knowledge by creating the largest Auslan dataset, enabling further advancements in this research area. The dataset will also play an essential role in other research fields, e.g., sign linguistics. Expected outcomes include the invention of the first Auslan recogniser and generator capable of distinguishing and synthesising 1000+ signs, representing a substantial advancement towards fully automated Auslan translation. This should provide significant benefits for the Australian Deaf community, such as high-quality digital systems for education and communication, resulting in increased quality of life and inclusion in the Australian society.Read moreRead less