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
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
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
Special Research Initiatives - Grant ID: SR0354584
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
ARC Research Network in Multimedia Technology and Applications (MTA). Multimedia Information Technology is becoming a major stream for modern computers, networks, and new platforms (e.g. embedded-systems, mobile-phones, PDAs, digital-TV) in various applications, including media production and e-healthcare where Australia has tremendous strengths. This proposal aims to bring top researchers in the related areas, including IT, Healthcare, Architecture and Visual-arts, to push a new technological w ....ARC Research Network in Multimedia Technology and Applications (MTA). Multimedia Information Technology is becoming a major stream for modern computers, networks, and new platforms (e.g. embedded-systems, mobile-phones, PDAs, digital-TV) in various applications, including media production and e-healthcare where Australia has tremendous strengths. This proposal aims to bring top researchers in the related areas, including IT, Healthcare, Architecture and Visual-arts, to push a new technological wave in Australia, to provide its value promised to Australian business, and to take international leadership in multimedia computing. Its outcome includes the formation of research teams, coordinated by a board, for 10 programs, and a CSCW-system & related website to facilitate the group work.Read moreRead less
Towards efficient real-time generation of detectable musical macrostructure. Efficient generation of detectable large scale musical structure is needed for commercial audiovisual applications, and for creative music making. But computer mediation of music has focused elsewhere: on sound synthesis and sequencing, editing, mixing and notation. I will apply computational processes like the handling of chunks of genetic information in evolution, to generate large scale musical structure. I will con ....Towards efficient real-time generation of detectable musical macrostructure. Efficient generation of detectable large scale musical structure is needed for commercial audiovisual applications, and for creative music making. But computer mediation of music has focused elsewhere: on sound synthesis and sequencing, editing, mixing and notation. I will apply computational processes like the handling of chunks of genetic information in evolution, to generate large scale musical structure. I will control segmentation; framing of internal segments; spatialisation; and the overlaying of separable musical streams. Expert cognitive assessment of the resultant structures will be investigated, and theories of segmentation, streaming and their relationships with expression and affect developed and tested.Read moreRead less
Structures and Protocols for Inference. The proposed research is expected to lead to increased adoption and efficiency of use of machine learning technologies. It will develop new and better ways to use existing machine learning software in a manner that allows easier integration into commercial products. It will increase the competitiveness of Australian industry.
Haptic-Rendered Bell Synthesis for a Practice Carillon Clavier. This project will explore new methods of audio synthesis that respond to haptic sensing. It seeks practical ways to control the synthesis of bell sounds using the mechanical playing action of a carillon keyboard as the human interface in a virtual instrument. Sensing technology developed will also benefit other areas of new performance media where multiple forms of sensory control are required to navigate interactive virtual environ ....Haptic-Rendered Bell Synthesis for a Practice Carillon Clavier. This project will explore new methods of audio synthesis that respond to haptic sensing. It seeks practical ways to control the synthesis of bell sounds using the mechanical playing action of a carillon keyboard as the human interface in a virtual instrument. Sensing technology developed will also benefit other areas of new performance media where multiple forms of sensory control are required to navigate interactive virtual environments. The project also creates new postgraduate research training opportunities in an area that crosses disciplinary boundaries between frontier technology and the creative arts.Read moreRead less