Towards High-performance and Fault-tolerant Distributed Java Implementations. Java Virtual Machines form an important part of the web and business
server market. Distributed Java Virtual Machines have the potential to
make a significant contribution to industries that utilize this
technology. An attractive platform for this purpose is the
cluster, a highly cost-effective and scalable parallel computer
model. However, realizing on such a platform a high performance virtual
machine implem ....Towards High-performance and Fault-tolerant Distributed Java Implementations. Java Virtual Machines form an important part of the web and business
server market. Distributed Java Virtual Machines have the potential to
make a significant contribution to industries that utilize this
technology. An attractive platform for this purpose is the
cluster, a highly cost-effective and scalable parallel computer
model. However, realizing on such a platform a high performance virtual
machine implementation tolerant to hardware and software faults, and
having efficient memory utilization, presents many challenging research
issues. This project will address these issues by extending a highly
efficient and extensible Java implementation to be aware of its cluster
environment.
Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE170101081
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis t ....Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis to efficiently and precisely analyse large-scale programs according to clients’ needs, thereby allowing compilers to generate safe, reliable and secure code. This project is expected to advance value-flow analysis for industrial-sized software, improve software reliability and security, and benefit Australian software systems and industries.Read moreRead less
High Performance Runtimes for Next Generation Languages. X10 is a type-safe, memory-safe programming language. This project will help make X10 a viable choice for secure software on the next generation of computer architectures. The proposed project will contribute to a better understanding of the fundamental processes that advance knowledge and facilitate the development of technological innovations (a research priority goal). By addressing a key emerging problem and consolidating Australian- ....High Performance Runtimes for Next Generation Languages. X10 is a type-safe, memory-safe programming language. This project will help make X10 a viable choice for secure software on the next generation of computer architectures. The proposed project will contribute to a better understanding of the fundamental processes that advance knowledge and facilitate the development of technological innovations (a research priority goal). By addressing a key emerging problem and consolidating Australian-based expertise in this area, the project will also enhance Australia’s capacity in frontier technologies research.Read moreRead less
Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in bu ....Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in building trusted computer applications. Process calculi and logic represent two promising disciplines in which the principles of analysis and design of secure systems can be studied systematically, out of which formal verification tools can be constructed.Read moreRead less
Dynamic Cooperative Performance Optimizations. This project seeks to improve the reliability, security, and
performance of modern software systems. Security is a problem of such
scale that outbreaks of computer viruses etc. headline in major
financial newspapers. We approach the problem by addressing the key
performance problems that hold back the programming languagues widely
used for secure and reliable systems. By improving the reliability,
security and performance of computer system ....Dynamic Cooperative Performance Optimizations. This project seeks to improve the reliability, security, and
performance of modern software systems. Security is a problem of such
scale that outbreaks of computer viruses etc. headline in major
financial newspapers. We approach the problem by addressing the key
performance problems that hold back the programming languagues widely
used for secure and reliable systems. By improving the reliability,
security and performance of computer systems, this project will help
alleviate the millions of hours and dollars lost to inadvertent errors
and malicious software attacks. The project will give Australia an
international presence in a research area of great academic and
commercial importance.Read moreRead less
Improving Modern Programming Language Performance: A Memory-Conscious Approach. The performance of modern programming languages such as Java and C# lags that of imperative languages such as C and Fortran. A significant source of the performance gap is poor memory behavior, which future computer architectures will exacerbate. This project addresses the problem of poor memory behavior in modern programming languages such as Java and C# through an integrated attack that incorporates new garbage c ....Improving Modern Programming Language Performance: A Memory-Conscious Approach. The performance of modern programming languages such as Java and C# lags that of imperative languages such as C and Fortran. A significant source of the performance gap is poor memory behavior, which future computer architectures will exacerbate. This project addresses the problem of poor memory behavior in modern programming languages such as Java and C# through an integrated attack that incorporates new garbage collection algorithms, run-time techniques that optimize running programs, and new compiler analyses with both static and dynamic optimizations. The project will give Australia an
international presence in a research area of great academic and commercial importance.
Read moreRead less
Micro Virtual Machines: Abstraction, contained. This project will address a systemic source of inefficiency in widely used software which leads to many programs running as much as ten times slower and using considerably more energy than necessary, shortening battery life on mobile phones and increasing costs for large server farms. This inefficiency is endemic because it is due to the underlying languages rather than the particular software. This project will address this problem by developing a ....Micro Virtual Machines: Abstraction, contained. This project will address a systemic source of inefficiency in widely used software which leads to many programs running as much as ten times slower and using considerably more energy than necessary, shortening battery life on mobile phones and increasing costs for large server farms. This inefficiency is endemic because it is due to the underlying languages rather than the particular software. This project will address this problem by developing a high efficiency substrate, called a micro virtual machine, on which languages may be built.Read moreRead less
Environmental Influences In The Establishment Of The Epigenetic Landscape In Children
Funder
National Health and Medical Research Council
Funding Amount
$695,097.00
Summary
The DNA in each of our cells does not exist alone, it is packaged into complex structures called chromosomes, through association with many different proteins. The distribution of these proteins varies along the length of a chromosome depending on the type of cell and this phenomenon is called 'epigenetics', literally meaning 'above the DNA'. Epigenetic analysis is the study of how proteins and other molecules can change the activity of a gene without changing the DNA sequence. All of our cells ....The DNA in each of our cells does not exist alone, it is packaged into complex structures called chromosomes, through association with many different proteins. The distribution of these proteins varies along the length of a chromosome depending on the type of cell and this phenomenon is called 'epigenetics', literally meaning 'above the DNA'. Epigenetic analysis is the study of how proteins and other molecules can change the activity of a gene without changing the DNA sequence. All of our cells use epigenetic changes to help control how they grow and develop. Evidence suggests a direct link between diet and environmental influences on our epigenetic profile. Recent research has traced the origins of many of the health problems of adult life back to the earliest periods of development _ to the time spent in the womb and the first few years of life. If we are born with a low birth weight, we are more likely to get sick later in life. Overwhelming evidence exists that the environment in the womb is critical for a healthy birth weight (and health in later life) and it is thought that epigenetics may be the missing link between this environment, low birth weight, and therefore health in later life. In addition, mounting evidence supports a general link between epigenetic de-regulation and predisposition to disease. However, the timing and the overall contribution of environmental- genetic influences to the establishment of faulty epigenetic markings remain largely unknown. Twins are the best model to study this link as they share similar (but not identical environments) and some share identical genetic makeup. Using twins, Dr Jeffrey Craig and his team will investigate the factors in the prenatal environment that modify specific cells, leading to low birth weight and increase disease risk later in life. They predict that this occurs via specific changes in gene activity caused by epigenetic disruption.Read moreRead less
Early Nutrition, Epigenetics And Developmental Outcomes In Children.
Funder
National Health and Medical Research Council
Funding Amount
$550,093.00
Summary
Increasing evidence demonstrates that early nutrition, including in pregnancy, has long lasting programming effects on later health of children. Evidence implicates epigenetics (literally ‘above DNA’) in mediating these effects. The most convincing data exists for obesity and related disorders such as metabolic syndrome, diabetes, and heart disease. The focus of this project is on understanding how ‘epigenetic’ mechanisms are influencing the way our genes function to cause these disorders.
Literature, Language and the Expression of Cultural Change in the Francophone Pacific. The proposal aims to analyse and document in monographs, critical editions, doctoral theses and other forms the evolution of linguistic and cultural change in the French Pacific through a comprehensive case study of the contemporary literature and press of New Caledonia. After years of civil unrest, stability was restored to this French Pacific Territory, a near neighbour of Australia, through the Matignon and ....Literature, Language and the Expression of Cultural Change in the Francophone Pacific. The proposal aims to analyse and document in monographs, critical editions, doctoral theses and other forms the evolution of linguistic and cultural change in the French Pacific through a comprehensive case study of the contemporary literature and press of New Caledonia. After years of civil unrest, stability was restored to this French Pacific Territory, a near neighbour of Australia, through the Matignon and Noumea Accords (1988, 1998).This has led to the emergence of new forms of cultural expression, particularly in literature, and a specific form of Pacific French, as part of a process of nation-building in New Caledonia.Read moreRead less