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
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