The Young Lu Xun and his early work written in Japan. This project undertakes a ground-breaking investigation in the field. It will contribute to better understanding of China, its language transformation, intellectual history, cultural trends relevant to economic growth; and will help raise Australia's scholarly profile, enhance our capacity to interpret and engage in regional and global discourse.
Discovery Early Career Researcher Award - Grant ID: DE150100676
Funder
Australian Research Council
Funding Amount
$352,350.00
Summary
From Sivasasana to Agama: The (Trans)formation of Balinese Hindu Canon. This project is an interdisciplinary study of the foundational textual canon underpinning the reformed version of Hinduism that developed on Bali from the early 20th century. It aims to provide a new perspective on modern and contemporary Balinese Hinduism in the light of the premodern Hindu religious discourse, analysing neglected sources of textual and historical data. The approach is designed to do justice to the sophisti ....From Sivasasana to Agama: The (Trans)formation of Balinese Hindu Canon. This project is an interdisciplinary study of the foundational textual canon underpinning the reformed version of Hinduism that developed on Bali from the early 20th century. It aims to provide a new perspective on modern and contemporary Balinese Hinduism in the light of the premodern Hindu religious discourse, analysing neglected sources of textual and historical data. The approach is designed to do justice to the sophisticated and centuries-old Balinese tradition of translation and exegesis of Sanskrit sources from the Indian Subcontinent, which still plays an important role in contemporary Bali.Read moreRead less
An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving d ....RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.
Read moreRead less
Continental Theory in the Wake of Cognitive Literary Studies. In an era that is plainly 'post-theoretical', the recent pioneering attempts to bridge the gap between literary studies and the cognitive neurosciences have far-reaching consequences for the study of English literature. This project will address those consequences by implementing a comparative critical study of continental theory and cognitive poetics, and through this comparison enlarge and refine urgent debates about the future of t ....Continental Theory in the Wake of Cognitive Literary Studies. In an era that is plainly 'post-theoretical', the recent pioneering attempts to bridge the gap between literary studies and the cognitive neurosciences have far-reaching consequences for the study of English literature. This project will address those consequences by implementing a comparative critical study of continental theory and cognitive poetics, and through this comparison enlarge and refine urgent debates about the future of the humanities and the kinds of teaching practices carried out therein. The project will therefore provide important groundwork for future research carried out at the frontier of literature, critical theory and cognitive science.Read moreRead less
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
Bilingualism in the bush: reconceptualising 'speech community' in immigrant family language maintenance in regional Australia. This project will investigate how immigrant families in regional Australian centres maintain their children's home language(s) in the absence of the critical mass of speakers, networks and resources found in metropolitan areas. It will establish how such families can best be supported through community and educational services to ensure that children grow up bilingual, w ....Bilingualism in the bush: reconceptualising 'speech community' in immigrant family language maintenance in regional Australia. This project will investigate how immigrant families in regional Australian centres maintain their children's home language(s) in the absence of the critical mass of speakers, networks and resources found in metropolitan areas. It will establish how such families can best be supported through community and educational services to ensure that children grow up bilingual, with the attendant benefits of improved cognitive, social and academic skills. The project will examine home practices and the interface between home and early childhood services. Outcomes will include a better understanding of successful family language planning practices in isolated regions and a reconceptualisation of 'speech community' through communications technologies.Read moreRead less
The Language of Old Norse Poetry, an important intellectual achievement of the Western Middle Ages. Old Norse poetry, produced from the Viking Age until the end of the Middle Ages, is one of the most important achievements in European literature. Thematically, it ranges from praise of Viking kings to Christian devotion; in metre and style it is extremely elaborate. It has applied value to a range of disciplines, including history, archaeology, linguistics and religious studies. This project will ....The Language of Old Norse Poetry, an important intellectual achievement of the Western Middle Ages. Old Norse poetry, produced from the Viking Age until the end of the Middle Ages, is one of the most important achievements in European literature. Thematically, it ranges from praise of Viking kings to Christian devotion; in metre and style it is extremely elaborate. It has applied value to a range of disciplines, including history, archaeology, linguistics and religious studies. This project will make Norse poetic language more accessible to scholars and the general public by providing new resources in the English language for its understanding, superseding previous studies because of the use of fully revised primary data.Read moreRead less
Knowledge transfer and administrative professionalism in a pre-typographic society: observing the scribe at work in Roman and early Islamic Egypt. This examination of documents on papyrus from first millennium CE Egypt concentrates not on scribes but the evidence for the activity of writing. It will illuminate ancient scribal practice while informing understandings of ancient education, administrations, and the way knowledge has been passed down from antiquity to the present.