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.
Metrolingual language practices in four urban sites: talking in the city. Metrolingualism has recently been coined as a term to describe the use of multilingual resources in urban contexts. Through detailed analysis of language use in four urban sites, this project will develop our understanding of metrolingual language practices as well as our understanding of the ways in which urban spaces are managed linguistically.
The edition, translation, and study of the newly discovered Senior collection of Buddhist manuscripts from ancient Gandhara. This research will produce scholarly editions, translations, and studies of several of the newly discovered Buddhist manuscripts from ancient Gandhara (modern Afghanistan/Pakistan). These manuscripts, which are the earliest Buddhist manuscripts yet discovered (c. 1st century A.D.), represent the first major find of early Buddhist texts from this region, and some of the fi ....The edition, translation, and study of the newly discovered Senior collection of Buddhist manuscripts from ancient Gandhara. This research will produce scholarly editions, translations, and studies of several of the newly discovered Buddhist manuscripts from ancient Gandhara (modern Afghanistan/Pakistan). These manuscripts, which are the earliest Buddhist manuscripts yet discovered (c. 1st century A.D.), represent the first major find of early Buddhist texts from this region, and some of the first examples of the literature of the Dharmaguptaka school of Buddhism. This research will substantially increase our understanding of the history of Buddhism in this region, of the formation of Buddhist literature, of Gandhari, the ancient language of this region, and of this little understood school of Buddhism.Read moreRead less